projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 23 Aug 2008 19:10:31 +0000 (19:10 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 23 Aug 2008 19:10:31 +0000 (19:10 +0000) | ||
| commit | f75a636a0f3d548bcf485df9b51ac72ed4759c97 | |
| tree | fe058e48b3ada82f581e6bf21b4b58da79010be9 | tree | snapshot |
| parent | a89360d64f1fcbba917ad743b97a2d973ecf6db2 | commit | diff |
| helm/software/matita/matita.ml | diff | blob | history |