]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5ee9e3) | patch
Fixed two legacy comments
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 12 Aug 2008 21:11:17 +0000 (21:11 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 12 Aug 2008 21:11:17 +0000 (21:11 +0000)
commit2a2ecad1d946365ccdf182d00480605b3497e7f5
tree62dbd3550f4ef5465c5c046dedbcd78a73e70b78tree | snapshot
parentf5ee9e3667439a473bac6b80f4b5865ee1c6b14acommit | diff
Fixed two legacy comments
helm/software/components/ng_kernel/nCic.ml diff | blob | history
helm/software/components/ng_kernel/nCicSubstitution.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.