projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 May 2007 14:09:35 +0000 (14:09 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 May 2007 14:09:35 +0000 (14:09 +0000) | ||
| commit | 8ef74dd1af1b3e2ce7a19e603d6a77fdfb5969f7 | |
| tree | f55e8d7764d11e1863d8a1069ab5880a12e57595 | tree | snapshot |
| parent | 105a6097411efd3ab1a198426dcf30d9943013e3 | commit | diff |
| helm/software/matita/matita.conf.xml.in | diff | blob | history |