]> matita.cs.unibo.it Git - helm.git/commit
added support for (textual) cut and paste of mathml/boxml markup
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 14:17:06 +0000 (14:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 14:17:06 +0000 (14:17 +0000)
commit5c56a926588a63ceac31e6ddd6e3eeb02fadf3a9
tree944ef8a0fb73cae4c27e3a1ef2404e4ef1df8da8
parent6d93d688ae2da401417f64ffd5ee6ffccaa89fc1
added support for (textual) cut and paste of mathml/boxml markup
helm/matita/.depend
helm/matita/matita.ml
helm/matita/matitaGui.ml
helm/matita/matitaGuiTypes.mli
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli