src/Pure/PIDE/isabelle_markup.scala
2012-10-01 wenzelm 2012-10-01 report sort assignment of visible type variables;
2012-09-25 wenzelm 2012-09-25 basic integration of graphview into document model; added Graph_Dockable; updated Isabelle/jEdit authors and dependencies etc.;
2012-09-24 wenzelm 2012-09-24 more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
2012-09-20 wenzelm 2012-09-20 tuned rendering;
2012-09-18 wenzelm 2012-09-18 more explicit message markup and rendering;
2012-09-14 wenzelm 2012-09-14 clarified markup names;
2012-09-12 wenzelm 2012-09-12 avoid spaces in markup names, which might cause problems in boundary situations (e.g. HTML class);
2012-08-31 wenzelm 2012-08-31 further refinement of command status, to accomodate forked proofs;
2012-08-30 wenzelm 2012-08-30 refined status of forked goals;
2012-08-11 wenzelm 2012-08-11 clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);
2012-08-10 wenzelm 2012-08-10 sneak message into "bad" markup as property -- to be displayed after YXML parsing;
2012-08-10 wenzelm 2012-08-10 discontinued mostly unused markup for command spans;
2012-08-10 wenzelm 2012-08-10 more visible markup of malformed input as "bad";
2012-08-07 wenzelm 2012-08-07 simplified process startup phases: INIT suffices for is_ready;
2012-08-07 wenzelm 2012-08-07 prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 wenzelm 2012-08-07 prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol; just one cumulative Keyword.status at end of batch session;
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;