]> matita.cs.unibo.it Git - helm.git/commit
Large commit: refactoring of the code of the interface.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Dec 2010 17:24:55 +0000 (17:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Dec 2010 17:24:55 +0000 (17:24 +0000)
commitf3d0ba1e75bc3383d766f3a33a19352db19854df
tree24657c308c3d73faa2c5a7e3eea5f6269eb6b65f
parent5d8d825b9bf6b3cf346ba8e81ffd0ac1e1902ecb
Large commit: refactoring of the code of the interface.

1. management of font sizes centralized in MatitaMisc according to the
   MVC paradigm
2. functionalities related to the script window moved from MatitaGui to
   MatitaScript
matita/matita/cicMathView.ml
matita/matita/cicMathView.mli
matita/matita/matita.ml
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml
matita/matita/matitaMathView.mli
matita/matita/matitaMisc.ml
matita/matita/matitaMisc.mli
matita/matita/matitaScript.ml
matita/matita/matitaScript.mli