]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1caab32) | patch
Dead code removed (left from a previous commit).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 23:42:25 +0000 (23:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 23:42:25 +0000 (23:42 +0000)
commitf4460413546165a7fabbf1e1da4cf2f5a44b26b9
tree40b1d047ddf0ce095f74d5c61f653142480503a5tree | snapshot
parent1caab3250f877ebff8fefc99dd7f5e7fd0596795commit | diff
Dead code removed (left from a previous commit).
matita/components/lexicon/lexiconEngine.ml [deleted file] blob | history
matita/components/lexicon/lexiconEngine.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.