]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55ce3c0) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Nov 2005 18:07:41 +0000 (18:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Nov 2005 18:07:41 +0000 (18:07 +0000)
commit720068a32f4353cdb5b35ca6e6b6cfde93f72836
treeab9d5aeb34c0921cb986de632b0c7715282ca164tree | snapshot
parent55ce3c06e925133b778f23cc188f7abeb6686ac0commit | diff
...
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.