]> matita.cs.unibo.it Git - helm.git/commit
matitaclean.opt, matitadep.opt
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 14:33:39 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 14:33:39 +0000 (14:33 +0000)
commita366e5398deeb0659978a4d8ae647cbb6b0a2c36
tree630a9c4345ca8561aff32dd879f4024f95497e96
parent2daf59a983cae8151e513196577ae77b1d12e157
matitaclean.opt, matitadep.opt
helm/matita/.cvsignore