projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 24 Jun 2005 09:59:45 +0000 (09:59 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 24 Jun 2005 09:59:45 +0000 (09:59 +0000) | ||
| commit | fca6572850bc16f9f89aa00047ee705495d40116 | |
| tree | 5848a6ea18b0ccaeb31edb1552cda8520370a59d | tree | snapshot |
| parent | e9933865c29b25aa79871e16fcb7e9cb6cf91bdc | commit | diff |
| helm/matita/matita.conf.xml.sample | diff | blob | history |