]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Thu, 23 Feb 2006 21:34:45 +0000 (21:34 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Thu, 23 Feb 2006 21:34:45 +0000 (21:34 +0000) | ||
commit | a7c127e864bb78e17bdfc2ba6e113a032b4df618 | |
tree | e1ca6664d639c34e52737051c0a55d09e48afd40 | tree | snapshot |
parent | f462045c431db02d49ca3920bc8039974370d009 | commit | diff |
helm/software/matita/matitaInit.ml | diff | blob | history | |
helm/software/matita/matitaInit.mli | diff | blob | history |