projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 4 Sep 2006 13:31:55 +0000 (13:31 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 4 Sep 2006 13:31:55 +0000 (13:31 +0000) | ||
| commit | 8178b146713be49b5d21744d2cc68d3d4af726a3 | |
| tree | abaa16878562f950583d622382e6cda5a1c94ed1 | tree | snapshot |
| parent | 892560610e438da6ada9adc42fcc3dd94a0438b9 | commit | diff |
| matita/matitaEngine.ml | diff | blob | history | |
| matita/matitaEngine.mli | diff | blob | history |