]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/matitaGui.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6733674) | patch
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
tree63c57193294ab4d106a059f1041f472752923052tree | snapshot
parent6733674a52c5a2c9e5bc3a39ad1614b5ee2b1d62commit | diff
MathML widget no longer used. Requesciat in pacem
matita/configure.ac diff | blob | history
matita/matita/applyTransformation.ml diff | blob | history
matita/matita/applyTransformation.mli diff | blob | history
matita/matita/matitaGui.ml diff | blob | history
matita/matita/matitaGuiTypes.mli diff | blob | history
matita/matita/matitaMathView.ml diff | blob | history
matita/matita/matitaMathView.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.