src/Pure/System/isabelle_process.scala
Thu, 31 Dec 2009 00:35:54 +0100 wenzelm added is_ready;
Wed, 30 Dec 2009 22:56:46 +0100 wenzelm simplified init message -- removed redundant session property;
Wed, 30 Dec 2009 22:29:37 +0100 wenzelm removed obsolete version check -- sanity delegated to Isabelle_System;
Mon, 28 Dec 2009 22:03:14 +0100 wenzelm separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
Fri, 18 Dec 2009 11:44:25 +0100 wenzelm tuned signature;
Thu, 17 Dec 2009 23:44:15 +0100 wenzelm Result.cache;
Thu, 17 Dec 2009 20:14:00 +0100 wenzelm fifo: raw byte stream;
Tue, 01 Sep 2009 21:03:04 +0200 wenzelm Isabelle_Process: receiver as Actor, not EventBus;
Sat, 29 Aug 2009 10:50:04 +0200 wenzelm moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala;
Thu, 25 Jun 2009 13:25:35 +0200 wenzelm renamed IsabelleProcess to Isabelle_Process;
Sun, 07 Jun 2009 20:15:29 +0200 wenzelm static IsabelleSystem.charset;
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