projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 16 Jun 2005 08:06:00 +0000 (08:06 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 16 Jun 2005 08:06:00 +0000 (08:06 +0000) | ||
| commit | d6a6425e0ff2debe535b1f4c480c745e5697d7df | |
| tree | 3a76f53c09dd85bec94554dc29a743f820da81b5 | tree | snapshot |
| parent | 6c78b5575caa3257463c0a2654db3fb826de11ee | commit | diff |
| helm/matita/matita.conf.xml | [deleted file] | blob | history |