src/Pure/Isar/isar.ML
1999-06-30 ago sync;
1999-05-15 ago tuned;
1999-02-03 ago removed load;
1998-11-24 ago Isabelle/Isar main interface.