]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Sep 2005 08:40:28 +0000 (08:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Sep 2005 08:40:28 +0000 (08:40 +0000)
commit4aafe63519aeaf34d93b7c0e3c67a80070541948
treeaf1ac3a7b6eecc8fae6a138e750446abc1214fbc
parentfed37f1a768b314bf88e43be1af96f2c507ce933
...
helm/matita/matita.txt