]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3dd183) | patch
Dead and useless code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Dec 2010 16:37:25 +0000 (16:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Dec 2010 16:37:25 +0000 (16:37 +0000)
commit5f55d666e5f640de8f1b91f14d77346af5d5488c
tree4196f0b9d13d50a5e52ad546678a8689b8a6ec71tree | snapshot
parentc3dd1837c4dfd52e2d2f0b17fbe9fdae39651fe2commit | diff
Dead and useless code removed.
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.