src/Tools/jEdit/src/jedit_rendering.scala
2016-12-23 wenzelm 2016-12-23 omit unused markup;
2016-12-21 wenzelm 2016-12-21 clarified signature;
2016-12-20 wenzelm 2016-12-20 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
2016-12-20 wenzelm 2016-12-20 clarified module name;