]> matita.cs.unibo.it Git - helm.git/commit
snapshot (notably: implemented "check")
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Oct 2004 15:42:37 +0000 (15:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Oct 2004 15:42:37 +0000 (15:42 +0000)
commitfd96ce8e13f4f9adbeef2d9feb32f94dfcfaadad
tree4c13640aaad19bfa8d09378d2343d35b2639fbf0
parent2cd7e7b8d1338a4393846e2aa7eb20343661945c
snapshot (notably: implemented "check")
16 files changed:
helm/matita/Makefile.in
helm/matita/buildTimeConf.ml.in
helm/matita/configure.ac
helm/matita/matita.conf.xml.sample
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaConsole.ml
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaInterpreter.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaProof.ml
helm/matita/matitaTypes.ml