src/Pure/PIDE/rendering.scala
2017-03-08 wenzelm 2017-03-08 clarified rendering;
2017-03-08 wenzelm 2017-03-08 tuned;
2017-03-07 wenzelm 2017-03-07 tuned;
2017-03-07 wenzelm 2017-03-07 more generic colors;
2017-03-07 wenzelm 2017-03-07 tuned;
2017-03-07 wenzelm 2017-03-07 clarified modules: spell-checker in Pure;
2017-03-06 wenzelm 2017-03-06 more robust;
2017-03-06 wenzelm 2017-03-06 more general tooltips, with uniform info range handling;
2017-03-06 wenzelm 2017-03-06 tuned whitespace;
2017-03-06 wenzelm 2017-03-06 more generic colors;
2017-03-05 wenzelm 2017-03-05 more generic rendering;
2017-03-04 wenzelm 2017-03-04 clarified pretty margin;
2017-03-04 wenzelm 2017-03-04 decorations for background and foreground colors;
2017-03-04 wenzelm 2017-03-04 symbolic Rendering.Color; clarified modules;
2017-01-11 wenzelm 2017-01-11 support for semantic completion;
2017-01-03 wenzelm 2017-01-03 support VSCode DocumentHighlights; clarified modules;
2017-01-02 wenzelm 2017-01-02 clarified multiple tooltips;
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-21 wenzelm 2016-12-21 basic support for hyperlinks / Goto Definition Request;
2016-12-20 wenzelm 2016-12-20 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;