]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa40e10) | patch
tex macros, checked in disambiguation section from whelp paper
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Nov 2005 10:11:04 +0000 (10:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Nov 2005 10:11:04 +0000 (10:11 +0000)
commit54f98be8e0df3c2c27ee964e142d7c6c62b1e903
tree1b744d6b7b46bcdc283dfbdd6372c9cc403be639tree | snapshot
parentfa40e1051d879aac77bd576d4a71d937a8d029a9commit | diff
tex macros, checked in disambiguation section from whelp paper
helm/papers/matita/matita.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.