]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5f6455) | patch
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
tree4b73c005099dea49501baa1987d5257dfc06342etree | snapshot
parentb5f64556ec797a92c2c79d9d1c6aefa4dcf880b1commit | diff
Bug fixed and further code semplification in management of universes.
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.