src/Pure/PIDE/isar_document.scala
2010-09-17 wenzelm 2010-09-17 allow embedded reports in regular prover messages, to avoid side-effects for errors for example;
2010-09-17 wenzelm 2010-09-17 eliminated markup "location" in favour of more explicit "no_report", which is actually deleted from messages;
2010-09-07 wenzelm 2010-09-07 Document_View: select gutter message icons from markup over line range, not full range results; tuned;
2010-09-07 wenzelm 2010-09-07 basic support for warning/error gutter icons;
2010-09-07 wenzelm 2010-09-07 Isar_Document.reported_positions: slightly more robust treatment of positions outside the command range, notably parsing beyond EOF;
2010-09-07 wenzelm 2010-09-07 Isar_Document.reported_positions: exclude proof state output;
2010-09-02 wenzelm 2010-09-02 Isar_Document.reported_positions: more precise include/exclude, include root as last resort only;
2010-08-31 wenzelm 2010-08-31 Command.State: add reported positions to markup tree, according main message position or Markup.binding/entity/report occurrences in body; Position.Id_Range convenience;
2010-08-22 wenzelm 2010-08-22 simplified Command.status again, reverting most of e5eed57913d0 (note that more complex information can be represented with full markup reports);
2010-08-20 wenzelm 2010-08-20 concentrate protocol message formats in Isar_Document;
2010-08-19 wenzelm 2010-08-19 moved Isar_Document to Pure/PIDE;