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 | 5a9445562fe66eb78f7f1a0c3a75c569430c63ac | |
| tree | 2e002b534fe0ae0dfbba87bb2f701380ac392221 | tree | snapshot |
| parent | 91973888e1e704c30dd6d31ccb7c995a312ee31c | commit | diff |
| matita/.ocamlinit | diff | blob | history |