]> matita.cs.unibo.it Git - helm.git/commit
matitaclean
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 09:39:24 +0000 (09:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 09:39:24 +0000 (09:39 +0000)
commitf48e234036bfbd2efae741885c0050bae8b5f6df
treee5ce59a1d380bc2f84a578f48482bb62d514af08
parent10aa2e121a0c9659b18b011dc9595cf6256560f4
matitaclean
helm/matita/.cvsignore