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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sat, 18 Dec 2010 23:27:37 +0000 (23:27 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sat, 18 Dec 2010 23:27:37 +0000 (23:27 +0000)
commit	ad3546bfc633935891d8c69ea704c86207c83f57
tree	af8bb9731776c015e22a286364645a778fd83c64	tree \| snapshot
parent	36d6216b038dc101abd8b47ecbecd9f6abd5a617	commit \| diff

1) matitaMathView.ml splitted into cicMathView.ml + matitaMathView.ml
2) interface of matitaMathView.ml and cicMathView.ml greatly simplifed
   so to avoid any reference to the textual/MathML datatypes.
3) up to the problem of taking screenshots, the file matitaMathView.ml
   is now oblivious of the difference between text and MathML. It will
   be soon possible to switch between text and MathML simply by changing
   the implementation of cicMathView.

matita/matita/.depend		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history
matita/matita/Makefile		diff \| blob \| history
matita/matita/cicMathView.ml	[new file with mode: 0644]	blob
matita/matita/cicMathView.mli	[new file with mode: 0644]	blob
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaMathView.mli		diff \| blob \| history
matita/matita/matitaMisc.ml		diff \| blob \| history
matita/matita/matitaMisc.mli		diff \| blob \| history

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

RSS Atom