]> matita.cs.unibo.it Git - helm.git/commit
This commit simplifies the interfaces of the various Widget-related .mli
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Dec 2010 22:45:29 +0000 (22:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Dec 2010 22:45:29 +0000 (22:45 +0000)
commit513c7211bb07abd4c1da842a29c05301890aa73a
tree9384cd27277be9fd6a3ac1df8c48e33ea7ac56aa
parent75f910c7001ba5a6abe61fc93a2731753c7ba188
This commit simplifies the interfaces of the various Widget-related .mli
files, so that the same inferfaces can be used both for the MathMl widget and
the textual widget.

Practically, it is now sufficient to switch between two implementations of
matitaMathView to change between MathML/textual.
matita/matita/.depend
matita/matita/.depend.opt
matita/matita/matita.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml
matita/matita/matitaMathView.mli
matita/matita/matitaTypes.ml
matita/matita/matitaTypes.mli