From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 20 Dec 2010 17:24:55 +0000 (+0000)
Subject: Large commit: refactoring of the code of the interface.
X-Git-Tag: make_still_working~2638
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=f3d0ba1e75bc3383d766f3a33a19352db19854df;hp=f3d0ba1e75bc3383d766f3a33a19352db19854df;p=helm.git

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
---