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