]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 19 Oct 2006 11:09:06 +0000 (11:09 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 19 Oct 2006 11:09:06 +0000 (11:09 +0000) | ||
commit | 63c7002d0142fce2c7f8a1bbba9d8805f8b98779 | |
tree | f9ce8f758a21a2485071c06d8cd3f3948a98cf39 | tree | snapshot |
parent | 48dc3602a536a258db41a9923d560569567c9497 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history |