]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5580875) | patch
tidied .tex
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 28 Jan 2006 09:12:35 +0000 (09:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 28 Jan 2006 09:12:35 +0000 (09:12 +0000)
commitcf40d4c923bc4ae8b1d2d3c91170cfea96f7c1d5
tree0da73ad7b458f7b0470da9742c8d42eed5496732tree | snapshot
parent5580875d08eb17a1e280e48b6f5d0a4a6b5f8bafcommit | diff
tidied .tex
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.