]> matita.cs.unibo.it Git - helm.git/commit
Class mathViewer got rid of. The circular dependency between
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 19 Dec 2010 20:28:10 +0000 (20:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 19 Dec 2010 20:28:10 +0000 (20:28 +0000)
commitb804ff9f8fba300ffaa54add291e0f6490b757ce
tree842e187ebd387ba4e1ffbf3ea19dbb3bb3def60f
parentba53effd71fdfdc046dc39ea9dd7f07cf823a1b6
Class mathViewer got rid of. The circular dependency between
the scripts needs to be sorted out by putting matitaScript much
later in the chain. This commit temporary introduces bad type
expressions here and there.
12 files changed:
matita/matita/.depend
matita/matita/.depend.opt
matita/matita/Makefile
matita/matita/cicMathView.ml
matita/matita/cicMathView.mli
matita/matita/matita.ml
matita/matita/matitaMathView.ml
matita/matita/matitaMathView.mli
matita/matita/matitaScript.ml
matita/matita/matitaScript.mli
matita/matita/matitaTypes.ml
matita/matita/matitaTypes.mli