projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 4 Dec 2007 15:17:01 +0000 (15:17 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 4 Dec 2007 15:17:01 +0000 (15:17 +0000) | ||
| commit | 9689ab3488bfd89eed1fd188c0f279a11737a20a | |
| tree | e0a94abf6d7456fb08e7f4c708681d18c25cbfd2 | tree | snapshot |
| parent | 14dbb9ba574d4923b31ae31db3e749b31091d24a | commit | diff |
| helm/software/matita/matita.conf.xml.in | diff | blob | history |