src/Tools/jEdit/src/jedit_rendering.scala
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-03 wenzelm 2017-01-03 support VSCode DocumentHighlights; clarified modules;
2017-01-02 wenzelm 2017-01-02 clarified multiple tooltips;
2016-12-28 wenzelm 2016-12-28 more uniform treatment of "bad" like other messages (with serial number);
2016-12-27 wenzelm 2016-12-27 clarified modules;
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;