src/Pure/PIDE/isabelle_markup.scala
2012-08-10 ago discontinued mostly unused markup for command spans;
2012-08-10 ago more visible markup of malformed input as "bad";
2012-08-07 ago simplified process startup phases: INIT suffices for is_ready;
2012-08-07 ago prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 ago prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
2012-05-29 ago more explicit treatment of return code vs. session phase;
2012-04-07 ago added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
2012-03-13 ago clarified command state -- markup within proper_range, excluding trailing whitespace;
2012-03-03 ago clarified terminology of raw protocol messages;
2012-02-24 ago clarifed name space "type name", which covers logical and non-logical types, and often occurs inside outer syntax "type" markup;
2012-01-05 ago prefer raw_message for protocol implementation;
2012-01-05 ago prefer raw_message for protocol implementation;
2012-01-05 ago prefer raw_message for protocol implementation;
2011-12-01 ago updated markup conforming to ML side;
2011-11-29 ago clarified Time vs. Timing;
2011-11-29 ago rearranged files;