]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 18 Oct 2006 13:18:37 +0000 (13:18 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 18 Oct 2006 13:18:37 +0000 (13:18 +0000) | ||
commit | bb505b355287b664c3c0ef92781700fc0cc5d281 | |
tree | 1d390e6500a318a5c03da17c56ec6714614496bb | tree | snapshot |
parent | 230d29ee2c5b31554c051effe710a9b16078f306 | commit | diff |
helm/software/matita/matita.glade | diff | blob | history | |
helm/software/matita/matitaGui.ml | diff | blob | history |