]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed and further code semplification in management of universes.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 12:59:39 +0000 (12:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 12:59:39 +0000 (12:59 +0000)
commit14684f9b8fcc2ce4ffb0b9fa5d287c2ab5843760
tree4b73c005099dea49501baa1987d5257dfc06342e
parentb5f64556ec797a92c2c79d9d1c6aefa4dcf880b1
Bug fixed and further code semplification in management of universes.
helm/software/components/ng_kernel/nCicEnvironment.ml