]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 25 Jul 2005 17:16:17 +0000 (17:16 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 25 Jul 2005 17:16:17 +0000 (17:16 +0000) | ||
commit | a7f186ba154eae6a0e3fd61ecd6d1112daa994da | |
tree | 7d981ec355b8e66bc388c45f42ca7c3320f1e422 | tree | snapshot |
parent | b70abde9c51e11d5f7619ece3769e95d43211018 | commit | diff |
helm/matita/matita.txt | diff | blob | history | |
helm/matita/matitaGui.ml | diff | blob | history | |
helm/matita/matitaScript.ml | diff | blob | history | |
helm/matita/matitaScript.mli | diff | blob | history |