]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Jul 2005 08:14:59 +0000 (08:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Jul 2005 08:14:59 +0000 (08:14 +0000)
commitc5f6ebc56b2275699a0ceeac18a53dd8370c172b
tree0d357f09afed6738bdcc0c727116a3b37bde97a5
parent54f8a161f9a4a23c6bde36db3ff5ad5562be209b
...
helm/matita/matita.txt