]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46e03d5) | patch
More on the presentation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Nov 2005 11:59:33 +0000 (11:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Nov 2005 11:59:33 +0000 (11:59 +0000)
commit62686c3133b011ff066728a00fbc709b6441730b
treeb20e40e8aea027bbb8a38d4624f168541deb6949tree | snapshot
parent46e03d551eda665870e04ef62bc293a821787c75commit | diff
More on the presentation.
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.