]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 11 Oct 2006 14:58:23 +0000 (14:58 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 11 Oct 2006 14:58:23 +0000 (14:58 +0000) | ||
commit | 3ae4146d42847c984531352f1a589b002eb4d1c6 | |
tree | a7e8cd199d52bd9d18fd534a27a1790a8ed7482f | tree | snapshot |
parent | d18bffef7df9bbfc5ceae7ac7b607c96611e1978 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history |