Support for control symbols (sub-, superscript, bold, etc.)

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

http://andriusvelykis.github.io/isabelle-eclipse

Eclipse Public License 1.0

12 stars 4 forks source link

Support for control symbols (sub-, superscript, bold, etc.) #8

Open andriusvelykis opened 12 years ago

andriusvelykis commented 12 years ago

Isabelle/jEdit renders subscript/superscript symbols (e.g. \<^sub>) as intended. Isabelle/Eclipse has no special support added for these symbols. Support that in Isabelle/Eclipse as well. This also holds for bold font and other control symbols.