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