]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Oct 2006 12:33:21 +0000 (12:33 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Oct 2006 12:33:21 +0000 (12:33 +0000) | ||
commit | bb42469b8aa1ccb0b2a5ca1d402c43ed0def1c08 | |
tree | 437b144519174f3c4546bc7fccb032b38a9d55d6 | tree | snapshot |
parent | f7ef9307f419376e5db085d59ad79487010ec123 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history | |
helm/software/matita/matitaScript.ml | diff | blob | history |