]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 11 Oct 2006 14:26:59 +0000 (14:26 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 11 Oct 2006 14:26:59 +0000 (14:26 +0000) | ||
commit | d18bffef7df9bbfc5ceae7ac7b607c96611e1978 | |
tree | 277b3d4eda40ad929752645afedab12469b1a8df | tree | snapshot |
parent | 7e2e9e77f441f5d75844710ce88ae7095157bd92 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history |