]>
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 |