src/Pure/System/isabelle_process.ML
Tue, 29 Dec 2009 20:30:40 +0100 wenzelm removed slightly odd Isar_Document.init;
Thu, 17 Dec 2009 15:09:07 +0100 wenzelm simplified message format: chunks with explicit size in bytes;
Tue, 27 Oct 2009 13:34:37 +0100 wenzelm non-critical output -- ship message in one piece;
Wed, 30 Sep 2009 23:16:15 +0200 wenzelm actually perform Isar_Document.init on startup;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Thu, 25 Jun 2009 13:25:35 +0200 wenzelm renamed IsabelleProcess to Isabelle_Process;
Tue, 02 Jun 2009 23:30:45 +0200 wenzelm IsabelleProcess: emit status "ready" after initialization and reports;
Sat, 28 Feb 2009 18:00:20 +0100 wenzelm moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);
less more (0) tip