projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 23 Sep 2005 14:34:35 +0000 (14:34 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 23 Sep 2005 14:34:35 +0000 (14:34 +0000) | ||
| commit | 37daa227f906a30b6d142e03f7589961476ce50d | |
| tree | 6ab3e2f28c73493e8a61176de3c24bf46d7a3776 | tree | snapshot |
| parent | 1b8e1a82cc00b265f2d36b2ff3d363f61cb679ea | commit | diff |
| helm/matita/matitaSync.ml | diff | blob | history | |
| helm/matita/matitaSync.mli | diff | blob | history |