]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccee7ed) | patch
env creation fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 7 Jul 2005 09:45:18 +0000 (09:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 7 Jul 2005 09:45:18 +0000 (09:45 +0000)
commit608c1bbe456a160b0c65c7d9fe58325279941ed9
treeb3de139147b3d588a69ccc8cb9d451616c525000tree | snapshot
parentccee7ed50388a3953ce3cae38b5c524b152d92b2commit | diff
env creation fix
helm/matita/matitaclean.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.