]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Sep 2005 15:48:04 +0000 (15:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Sep 2005 15:48:04 +0000 (15:48 +0000)
commit172e33ea0aabf7ef066e73fbe577061955327693
tree41eb8d06c451721c382a8b6ae73c58b6bd3bde6e
parentb66e2a4ea05a9a53b1c4c1d7051de0419ccc441b
...
helm/matita/matita.txt