src/Pure/System/isabelle_process.ML
2009-09-30 wenzelm 2009-09-30 actually perform Isar_Document.init on startup;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-06-25 wenzelm 2009-06-25 renamed IsabelleProcess to Isabelle_Process; renamed IsabelleSystem to Isabelle_System;
2009-06-02 wenzelm 2009-06-02 IsabelleProcess: emit status "ready" after initialization and reports;
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);