]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Oct 2006 09:03:15 +0000 (09:03 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Oct 2006 09:03:15 +0000 (09:03 +0000) | ||
commit | 84be7b1bb35ea49d9b24f21710a893bb7772f4d5 | |
tree | c146dc819018d9d18dc8975428c2425117824c1c | tree | snapshot |
parent | a7ffe734ba6742ff7a8cc2adcc43f17939390410 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history |