]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 24 Oct 2006 08:02:35 +0000 (08:02 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 24 Oct 2006 08:02:35 +0000 (08:02 +0000) | ||
commit | 2e4a77477a9b809d9c1197e0693d2cdd43258570 | |
tree | cad8b25a00c20f8a9856803a3406d84f06c6083f | tree | snapshot |
parent | 682e142886bf6b67a3c4f872e8e9ec641c7253a9 | commit | diff |
helm/software/matita/matita.glade | diff | blob | history |