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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 1 Feb 2005 17:59:04 +0000 (17:59 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 1 Feb 2005 17:59:04 +0000 (17:59 +0000)
commit	ef9ec8cb57d15426a96fe40d056eb07804753bb9
tree	2a0b85290cc155224b584a4cbc2f07593c735fb4	tree \| snapshot
parent	f38e8fafcf040258b54b4032562753a876a8a94e	commit \| diff

snapshot, notably:
- removed check window and proof window
- implemented cicBrowser which can be used to render current proof,
term the user wants to check and any other object from the library
using a www-browser-like interface

20 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/buildTimeConf.ml.in		diff \| blob \| history
helm/matita/matita.glade		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaCicMisc.ml		diff \| blob \| history
helm/matita/matitaCicMisc.mli	[new file with mode: 0644]	blob
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/matitaMisc.ml		diff \| blob \| history
helm/matita/matitaMisc.mli		diff \| blob \| history
helm/matita/matitaTypes.ml		diff \| blob \| history
helm/matita/matitaTypes.mli		diff \| blob \| history

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

RSS Atom