projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 16 Jun 2005 14:07:33 +0000 (14:07 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 16 Jun 2005 14:07:33 +0000 (14:07 +0000) | ||
| commit | d4ace1a2d7b08813af331e33efb499bcea4888f5 | |
| tree | 8289d23726d8baff30c69359c90234478cae61e4 | tree | snapshot |
| parent | 522bfe4fd22804ff7fb0013697721504003a6606 | commit | diff |
| helm/matita/matitaSync.ml | diff | blob | history | |
| helm/matita/matitaSync.mli | diff | blob | history |