]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Apr 2004 14:54:46 +0000 (14:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Apr 2004 14:54:46 +0000 (14:54 +0000)
commitcc465115cdeea9819f43a5ad219b07c4f928c43a
treed09b7fd8d130bd15ab69d260e33c55dfda068daf
parent26cace1b5a8a80b83d6a974c222ef1a07d561c30
snapshot
14 files changed:
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/configure.ac
helm/matita/matita.conf.xml.sample
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaDisambiguator.ml
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGtkMisc.ml
helm/matita/matitaGtkMisc.mli
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaTypes.ml