src/Pure/System/isar.ML
2009-09-01 ago removed old Isar document model;
2009-06-06 ago ML_Compiler.exn_message;
2009-06-04 ago uniform (short) ids on both sides;
2009-02-28 ago fixed headers;
2009-02-28 ago moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);