projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 15 Mar 2006 15:54:16 +0000 (15:54 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 15 Mar 2006 15:54:16 +0000 (15:54 +0000) | ||
| commit | cea505df0c55c2bb6e239a0aba2abcf80550e920 | |
| tree | c4cfb4d90e72a452979008bcc55b901ae2fc1852 | tree | snapshot |
| parent | aef659e5893b4bf8c8544d0c54714e10f5b5493a | commit | diff |
| helm/software/matita/matita.conf.xml.in | diff | blob | history |