]> matita.cs.unibo.it Git - helm.git/commit
matitatop
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jun 2005 16:12:29 +0000 (16:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jun 2005 16:12:29 +0000 (16:12 +0000)
commit764d3a8d71f26ab7ed447d2a39af647e0ed6b6bb
treeb0b0bd8e7c7c2359cb4cab16c543701747eebbee
parent2937563e3cfbdccec504dc99b26d64e0b5301c7c
matitatop
helm/matita/.cvsignore