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