src/Pure/System/isabelle_process.scala
Wed, 08 Jun 2011 17:49:01 +0200 wenzelm updated headers;
Wed, 01 Dec 2010 20:34:40 +0100 wenzelm more abstract/uniform handling of time, preferring seconds as Double;
Mon, 27 Sep 2010 18:11:33 +0200 wenzelm bulk read: observe EOF protocol more carefully -- 0 counts as successful read;
Thu, 23 Sep 2010 22:00:36 +0200 wenzelm tuned messages -- cf. Admin/MacOS/App1;
Thu, 23 Sep 2010 18:44:26 +0200 wenzelm explicit Session.Phase indication with associated event bus;
Thu, 23 Sep 2010 15:21:04 +0200 wenzelm manage persistent syslog via Session, not Isabelle_Process;
Thu, 23 Sep 2010 14:39:29 +0200 wenzelm tuned prover message categorization;
Thu, 23 Sep 2010 13:28:19 +0200 wenzelm tuned message;
Wed, 22 Sep 2010 21:21:04 +0200 wenzelm tuned message;
Wed, 22 Sep 2010 16:04:20 +0200 wenzelm more content for Session_Dockable;
Wed, 22 Sep 2010 14:29:13 +0200 wenzelm more reactive handling of Isabelle_Process startup errors;
Wed, 22 Sep 2010 13:47:48 +0200 wenzelm main Isabelle_Process via Isabelle_System.Managed_Process;
Mon, 20 Sep 2010 23:28:35 +0200 wenzelm tuned;
Mon, 20 Sep 2010 21:26:58 +0200 wenzelm tuned;
Mon, 20 Sep 2010 21:20:06 +0200 wenzelm added Isabelle_Process.syslog;
Mon, 20 Sep 2010 11:38:14 +0200 wenzelm Isabelle_Process: more robust rendezvous, even without proper blocking on open (Cygwin);
Sun, 19 Sep 2010 22:40:22 +0200 wenzelm refined Isabelle_Process startup: emit \002 before rendezvous on fifos, more robust treatment of startup failure with timeout, do not quit() after main loop;
Sun, 19 Sep 2010 20:11:51 +0200 wenzelm message_actor: more robust treatment of EOF;
Sun, 19 Sep 2010 17:12:34 +0200 wenzelm simplified Isabelle_Process message kinds;
Sat, 18 Sep 2010 21:33:56 +0200 wenzelm recovered basic session stop/restart;
Sat, 18 Sep 2010 21:10:07 +0200 wenzelm simplified fifo handling -- rm_fifo always succeeds without ever blocking;
Sat, 18 Sep 2010 17:14:47 +0200 wenzelm slightly more robust Isabelle_Process startup -- NB: openening fifo streams synchronizes with other end, which may fail to reach that point;
Fri, 17 Sep 2010 22:17:57 +0200 wenzelm discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
Fri, 17 Sep 2010 15:51:11 +0200 wenzelm eliminated markup "location" in favour of more explicit "no_report", which is actually deleted from messages;
Mon, 23 Aug 2010 16:07:18 +0200 wenzelm module for simplified thread operations (Scala version);
Sun, 22 Aug 2010 13:52:24 +0200 wenzelm tuned signatures;
Mon, 16 Aug 2010 18:20:36 +0200 wenzelm XML.Cache: pipe-lined (thread-safe) version using actor;
Mon, 16 Aug 2010 17:04:22 +0200 wenzelm simplified internal message format: dropped special Symbol.STX header;
Fri, 13 Aug 2010 21:33:13 +0200 wenzelm added Isabelle_Process.input_bytes, which avoids the somewhat slow Standard_System.string_bytes (just in case someone wants to stream raw data at 250MB/s);
Wed, 11 Aug 2010 00:44:48 +0200 wenzelm native Isabelle_Process commands, based on efficient byte channel protocol for string lists;
Tue, 10 Aug 2010 15:12:45 +0200 wenzelm removed obsolete methods for (ML) commands;
Tue, 10 Aug 2010 12:29:11 +0200 wenzelm distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names;
Mon, 09 Aug 2010 18:18:32 +0200 wenzelm Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
Sun, 08 Aug 2010 19:36:31 +0200 wenzelm explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
Sat, 07 Aug 2010 22:43:57 +0200 wenzelm simplified some Markup;
Sat, 07 Aug 2010 22:09:52 +0200 wenzelm simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
Mon, 05 Jul 2010 22:26:20 +0200 wenzelm specific ML_val vs. ML_command;
Sun, 04 Jul 2010 00:05:32 +0200 wenzelm simplified Isabelle_Process.Result: use markup directly;
Thu, 27 May 2010 12:35:40 +0200 wenzelm indicate prospective properties;
Tue, 25 May 2010 23:03:13 +0200 wenzelm eliminated obsolete priority message from Isabelle_Process protocol;
Fri, 21 May 2010 20:10:45 +0200 wenzelm simplified message markup, using plain XML.Elem directly;
Fri, 21 May 2010 14:53:19 +0200 wenzelm more abstract view on prover output messages;
Fri, 07 May 2010 22:00:23 +0200 wenzelm output symbolic pretty printing markup and format in the front end;
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