projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 11 Jan 2008 19:13:29 +0000 (19:13 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 11 Jan 2008 19:13:29 +0000 (19:13 +0000) | ||
| commit | fd3eb05be0d27238298a040c55e70128b735e2d4 | |
| tree | ba7961073221dd77edfbcacf91a9a6d2874d0a22 | tree | snapshot |
| parent | 85b400c16c933f6ee791f5d2783f466836651a3c | commit | diff |
| helm/software/matita/matita.conf.xml.in | diff | blob | history |