src/Pure/PIDE/isar_document.scala
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;