]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 12:21:41 +0000 (12:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 12:21:41 +0000 (12:21 +0000)
commite790d1d45f9b4dd4855918cde1a0b381c9a7e839
tree53b4a3c58dee3cf82cb014638edfcb59fd1eb65f
parent513e52fa53da03a4775d9a6bc3c93eafb5f3f9df
...
helm/matita/Makefile.in
helm/matita/matita.txt