2010-05-27 ago indicate prospective properties;
2010-05-25 ago eliminated obsolete priority message from Isabelle_Process protocol;
2010-05-21 ago simplified message markup, using plain XML.Elem directly;
2010-05-21 ago more abstract view on prover output messages;
2010-05-07 ago output symbolic pretty printing markup and format in the front end;
2009-12-31 ago added is_ready;
2009-12-30 ago simplified init message -- removed redundant session property;
2009-12-30 ago removed obsolete version check -- sanity delegated to Isabelle_System;
2009-12-28 ago separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-18 ago tuned signature;
2009-12-17 ago Result.cache;
2009-12-17 ago fifo: raw byte stream;
2009-09-01 ago Isabelle_Process: receiver as Actor, not EventBus;
2009-08-29 ago moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala;
2009-06-25 ago renamed IsabelleProcess to Isabelle_Process;
2009-06-07 ago static IsabelleSystem.charset;
2009-02-28 ago moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);