src/Tools/jEdit/src/jedit_rendering.scala
2 months ago ago tuned signature;
4 months ago ago clarified message;
4 months ago ago support hyperlink to theory exports;
16 months ago ago clarified markup;
16 months ago ago more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>;
16 months ago ago clarified modules;
16 months ago ago support for formal comments in ML in Isabelle/Scala;
16 months ago ago PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);
23 months ago ago tuned signature;
23 months ago ago clarified signature;
23 months ago ago clarified modules;
23 months ago ago clarified modules;
2017-05-23 ago clarified modules;
2017-04-17 ago tuned signature;
2017-04-17 ago tuned signature;
2017-03-20 ago tuned signature;
2017-03-15 ago clarified modules;
2017-03-14 ago tuned signature;
2017-03-14 ago clarified singleton module;
2017-03-13 ago proper local debugger state, depending on session;
2017-03-11 ago tuned;
2017-03-07 ago tuned;
2017-03-07 ago more generic colors;
2017-03-07 ago clarified modules: spell-checker in Pure;
2017-03-06 ago tuned;
2017-03-06 ago more general tooltips, with uniform info range handling;
2017-03-06 ago tuned;
2017-03-06 ago more generic colors;
2017-03-06 ago proper color;
2017-03-06 ago more generic colors;
2017-03-05 ago more generic rendering;
2017-03-04 ago tuned signature;
2017-03-04 ago symbolic Rendering.Color;
2017-03-04 ago tuned;
2017-01-11 ago support for semantic completion;
2017-01-08 ago tuned signature;
2017-01-08 ago refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-03 ago support VSCode DocumentHighlights;
2017-01-02 ago clarified multiple tooltips;
2016-12-28 ago more uniform treatment of "bad" like other messages (with serial number);
2016-12-27 ago clarified modules;
2016-12-23 ago omit unused markup;
2016-12-21 ago clarified signature;
2016-12-20 ago more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
2016-12-20 ago clarified module name;