]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5521b5f) | patch
Dead code clean-up.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Jun 2005 14:16:21 +0000 (14:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Jun 2005 14:16:21 +0000 (14:16 +0000)
commit4bb57c04fbf22c267ccd416a8ba79f6d13c22302
tree40c0d05a2fb53b19d2a743ff17f787d45e516b30tree | snapshot
parent5521b5f6cfb206ce83ef7fe8023bad66a82af7d7commit | diff
Dead code clean-up.
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.