]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 7 Jul 2005 09:40:02 +0000 (09:40 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 7 Jul 2005 09:40:02 +0000 (09:40 +0000) | ||
commit | ccee7ed50388a3953ce3cae38b5c524b152d92b2 | |
tree | 6a88dbf69ab7db8108df615fb6aa839a8dccc1b3 | tree | snapshot |
parent | 4d50bcfc9827bdb6d298b4874d850e2012b5874f | commit | diff |
helm/matita/matitaGui.ml | diff | blob | history |