]> matita.cs.unibo.it Git - helm.git/commit
matita.conf.xml added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Jun 2005 08:06:35 +0000 (08:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Jun 2005 08:06:35 +0000 (08:06 +0000)
commite0694299a43e5df6fcdf6348f48b3a2cda0b30b7
tree30cb4e3441c2e69080616f3ae1e5debf0d3f5b94
parentd6a6425e0ff2debe535b1f4c480c745e5697d7df
matita.conf.xml added
helm/matita/.cvsignore