]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad10810) | patch
merged CSC's typos squashing
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Jul 2003 14:50:42 +0000 (14:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Jul 2003 14:50:42 +0000 (14:50 +0000)
commit9c8e16231d6c20113035998c340c854144b6feaf
tree012cc70f0c5d3cd54b8d4cc45710e5d79b01b1f0tree | snapshot
parentad108104cc0f5a67bdd7c3af9687df38fb99e8b6commit | diff
merged CSC's typos squashing
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.