]>
author | Enrico Zoli <??> | |
Fri, 20 Oct 2006 08:35:00 +0000 (08:35 +0000) | ||
committer | Enrico Zoli <??> | |
Fri, 20 Oct 2006 08:35:00 +0000 (08:35 +0000) | ||
commit | 9e0bf389e79dbc38e917c527489453dcf5a15983 | |
tree | 5ccedf6a5c1b4f58fc27a660a215194b3937d8b2 | tree | snapshot |
parent | 63c7002d0142fce2c7f8a1bbba9d8805f8b98779 | commit | diff |
helm/software/matita/matitaGui.ml | diff | blob | history |