src/Pure/Isar/isar_document.scala
2010-05-06 ago extractors for document updates;
2009-09-01 ago modernized Isar_Document;
2009-08-29 ago misc tuning;
2009-08-29 ago moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala;
2009-06-25 ago renamed IsabelleProcess to Isabelle_Process;
2009-05-23 ago proper indentation;
2009-01-27 ago plain non-dependent types;
2009-01-27 ago turned IsarDocument into trait for IsabelleProcess;
2009-01-18 ago Scala wrapper for interactive Isar documents;