]> matita.cs.unibo.it Git - helm.git/commit
MathML widget no longer used. Requesciat in pacem
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 1 Oct 2010 11:41:37 +0000 (11:41 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 1 Oct 2010 11:41:37 +0000 (11:41 +0000)
commita22f5e32e698c3874ded926bd7dabc19719098f3
tree63c57193294ab4d106a059f1041f472752923052
parent6733674a52c5a2c9e5bc3a39ad1614b5ee2b1d62
MathML widget no longer used. Requesciat in pacem
matita/configure.ac
matita/matita/applyTransformation.ml
matita/matita/applyTransformation.mli
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml
matita/matita/matitaMathView.mli