]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 13:29:45 +0000 (13:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 13:29:45 +0000 (13:29 +0000)
commitaa3cf4ba46f44beaea3b57545eefbde64d00328d
tree09d82a0ed282eb5de89d75660c97a7b71589df40
parent4c45bc2cd4c610de0ac09c7e0897260fc253b684
...
helm/matita/matita.txt