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