]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1df7f33) | patch
One Obj.magic implemented, trust changed to false.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 31 Jan 2008 16:30:40 +0000 (16:30 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 31 Jan 2008 16:30:40 +0000 (16:30 +0000)
commitf75d2cc521bfa9941efb91f3a23cf554220de8e4
treebd77d8d502bd2e0c96cfb96de9f85efc0cb9959ftree | snapshot
parent1df7f33eaed35696773168dedf9eb1c952a57c19commit | diff
One Obj.magic implemented, trust changed to false.
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.