projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 22 Feb 2006 14:00:21 +0000 (14:00 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 22 Feb 2006 14:00:21 +0000 (14:00 +0000) | ||
| commit | b8d37cdd7541fb898f814e5ca3e6ca0137a5db44 | |
| tree | 19e982edf24212aa7b036b5bc75ad3730509a2ad | tree | snapshot |
| parent | 72f320a93d61e186ca54de33bb2435e7e19171b7 | commit | diff |
| helm/software/matita/matitaScript.ml | diff | blob | history |