projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 11:22:08 +0000 (11:22 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 11:22:08 +0000 (11:22 +0000) | ||
| commit | f73bd8a2251d9eb27ea36da6d09b38e6659092e5 | |
| tree | 383b7a3a98174f21709c9001a2b23825163775eb | tree | snapshot |
| parent | 88d9b90eb45721abe07bfce2c4d0768ef6420443 | commit | diff |
| helm/software/matita/.ocamlinit | diff | blob | history |