]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 537a83c) | patch
line breaking
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Feb 2006 23:12:00 +0000 (23:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Feb 2006 23:12:00 +0000 (23:12 +0000)
commit951069678fea0d6dcdde984320ec5057ddc57c3c
tree42c8a47ed508d08be06221ef2d15f753a360dd0ctree | snapshot
parent537a83ce3480e3bf4719f61f79dbed6081f5b1b2commit | diff
line breaking
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.