]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jul 2005 08:58:27 +0000 (08:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jul 2005 08:58:27 +0000 (08:58 +0000)
commit583bb775c7dd878823c9bdc3a97463cf8717646b
tree4950275fcc3bbedfa19a2ccf39ea69d60c9b8996
parent0599dc10a00ebfe65ca64c75d0fc82723f9191a0
...
helm/matita/matita.txt