]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4556677) | patch
- dead code removed
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Nov 2010 10:45:20 +0000 (10:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Nov 2010 10:45:20 +0000 (10:45 +0000)
commit08affd483123f36da15b38c89d58a0477bc96244
tree3e813c431f92bd6089cf1044b114cd4aa0b163e2tree | snapshot
parent4556677f40e6b979d9bdaa4475bb1ca6701264f8commit | diff
- dead code removed
matita/components/disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.