src/Pure/PIDE/protocol.scala
Sat, 10 Oct 2015 16:21:34 +0200 wenzelm more explicit HTML.symbols;
Fri, 09 Oct 2015 19:25:13 +0200 wenzelm output HTML text according to Isabelle/Scala Symbol.Interpretation;
Thu, 20 Aug 2015 21:08:47 +0200 wenzelm clarified modules, like ML version;
Mon, 10 Aug 2015 20:42:59 +0200 wenzelm tuned signature;
Mon, 10 Aug 2015 19:17:49 +0200 wenzelm more thorough Encode.string;
Tue, 17 Mar 2015 15:21:41 +0100 wenzelm misc tuning and simplification;
Mon, 16 Mar 2015 11:30:54 +0100 wenzelm tuned protocol -- resolve command positions in ML;
Mon, 16 Mar 2015 11:07:56 +0100 wenzelm clarified modules;
Sun, 15 Mar 2015 21:57:10 +0100 wenzelm proper command id for inlined errors, which is important for Command.State.accumulate;
Sat, 14 Mar 2015 19:51:36 +0100 wenzelm clarified positions of theory imports;
Thu, 12 Mar 2015 22:00:51 +0100 wenzelm clarified markup for embedded files, early before execution;
Tue, 10 Mar 2015 20:12:30 +0100 wenzelm more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
Wed, 14 Jan 2015 14:28:52 +0100 wenzelm clarified build_theories;
Tue, 13 Jan 2015 21:46:09 +0100 wenzelm some support for PIDE batch session;
Tue, 30 Dec 2014 23:45:03 +0100 wenzelm explicit message channel for "legacy", which is nonetheless a variant of "warning";
less more (0) -100 -15 tip