src/Pure/PIDE/isabelle_markup.scala
2012-05-29 wenzelm 2012-05-29 more explicit treatment of return code vs. session phase;
2012-04-07 wenzelm 2012-04-07 added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
2012-03-13 wenzelm 2012-03-13 clarified command state -- markup within proper_range, excluding trailing whitespace;
2012-03-03 wenzelm 2012-03-03 clarified terminology of raw protocol messages;
2012-02-24 wenzelm 2012-02-24 clarifed name space "type name", which covers logical and non-logical types, and often occurs inside outer syntax "type" markup;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation; tuned;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation;
2011-12-01 wenzelm 2011-12-01 updated markup conforming to ML side;
2011-11-29 wenzelm 2011-11-29 clarified Time vs. Timing;
2011-11-29 wenzelm 2011-11-29 rearranged files;