src/Pure/PIDE/isar_document.scala
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-10 wenzelm 2011-07-10 simplified XML_Data;
2011-07-10 wenzelm 2011-07-10 less currying in Scala;
2011-07-10 wenzelm 2011-07-10 propagate header changes to prover process; simplified Document case classes; Document.State.assignments: indexed by Version_ID;
2010-11-11 wenzelm 2010-11-11 unified type Document.Edit;
2010-09-23 wenzelm 2010-09-23 tuned;
2010-09-23 wenzelm 2010-09-23 tuned prover message categorization;
2010-09-22 wenzelm 2010-09-22 Command.accumulate: refrain from adding tracing messages to markup tree -- potential scalability problem;
2010-09-17 wenzelm 2010-09-17 some specific message classification;
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;