matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 608cc7f) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 9 Nov 2004 17:23:18 +0000 (17:23 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 9 Nov 2004 17:23:18 +0000 (17:23 +0000)
commit	190e42f1030ea3d459c4040bb0e8503a7c096820
tree	e04f19e3f8d6cc813094fdaaf9dec66d3cb58dd8	tree \| snapshot
parent	608cc7f30a3e9afd915084afe0dd072fb4c7bd66	commit \| diff

snapshot, notably:
- fixed "noshow" bugs in sequents notebook and proof window
- implemented interpretation choice

16 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/configure.ac		diff \| blob \| history
helm/matita/matita.conf.xml.sample		diff \| blob \| history
helm/matita/matita.glade		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaConsole.ml		diff \| blob \| history
helm/matita/matitaGeneratedGui.ml		diff \| blob \| history
helm/matita/matitaGeneratedGui.mli		diff \| blob \| history
helm/matita/matitaGtkMisc.ml		diff \| blob \| history
helm/matita/matitaGtkMisc.mli		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaGui.mli		diff \| blob \| history
helm/matita/matitaInterpreter.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMathView.mli		diff \| blob \| history
helm/matita/matitaTypes.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.