src/Pure/Isar/isar.scala
2009-06-25 ago renamed IsabelleProcess to Isabelle_Process;
2009-01-02 ago Isar.command: plain Position.id;
2008-12-29 ago explicit EventBus for results;
2008-12-27 ago proper class IsabelleSystem -- no longer static;
2008-12-19 ago removed Ids;
2008-09-19 ago Isar toplevel editor model.