]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 26 Oct 2006 14:15:47 +0000 (14:15 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 26 Oct 2006 14:15:47 +0000 (14:15 +0000) | ||
commit | c4e63effe2a5123a79ad9d68ed6424540ae88bb1 | |
tree | 6632af8495b31b496d5437c6e51f64bf9235b02d | tree | snapshot |
parent | 890f733dd3d1144de1c697a689ea165dc2adcc20 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history |