]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db7935f) | patch
More compact disambiguation errors.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Dec 2005 19:00:25 +0000 (19:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Dec 2005 19:00:25 +0000 (19:00 +0000)
commit585b70958440a8ae155e9ef8281099b66a9ba836
tree3f6980fe427063d6eb1e05b73fa07454c440f094tree | snapshot
parentdb7935f343aa2cb11bd3f8ee5c56112e2e266cd3commit | diff
More compact disambiguation errors.
helm/matita/matitaExcPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.