]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 7 Jul 2005 09:31:36 +0000 (09:31 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 7 Jul 2005 09:31:36 +0000 (09:31 +0000) | ||
commit | 4027d612bc9c0a38fac53666a21e390683c5076d | |
tree | edfe7cabbbe55ff41af1bf4cf4f2c5c4b5fe8a98 | tree | snapshot |
parent | 9051b7cc151caea1a9f1def1a416c66a7f45248f | commit | diff |
helm/matita/matitaScript.ml | diff | blob | history |