| Fri, 17 Sep 2010 20:56:32 +0200 |
wenzelm |
Isabelle_Process: status/report do not require serial numbers;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2010 18:00:16 +0200 |
wenzelm |
main command loops are supposed to be uninterruptible -- no special treatment here;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 11:35:17 +0200 |
wenzelm |
message serial number indicates physical order;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 17:04:22 +0200 |
wenzelm |
simplified internal message format: dropped special Symbol.STX header;
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 00:44:48 +0200 |
wenzelm |
native Isabelle_Process commands, based on efficient byte channel protocol for string lists;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 20:13:52 +0200 |
wenzelm |
renamed YXML.binary_text to YXML.escape_controls to emphasize what it actually does;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 12:29:11 +0200 |
wenzelm |
distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names;
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 22:02:26 +0200 |
wenzelm |
auto_flush: higher frequency;
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 21:23:24 +0200 |
wenzelm |
more robust fifo rendezvous: Cygwin 1.7 does not really block as expected;
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 18:18:32 +0200 |
wenzelm |
Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
|
file |
diff |
annotate
|
| Sun, 08 Aug 2010 19:36:31 +0200 |
wenzelm |
explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 21:03:06 +0200 |
wenzelm |
simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Sat, 03 Jul 2010 22:33:10 +0200 |
wenzelm |
Toplevel.run_command: asynchronous state output, as an attempt to address potentially slow pretty printing (e.g. in HOL/Bali);
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 13:47:12 +0200 |
wenzelm |
Isabelle_Process: do not enforce future_terminal_proof by default -- no error propagation yet;
|
file |
diff |
annotate
|
| Sat, 29 May 2010 19:46:29 +0200 |
wenzelm |
explicit markup for forked goals, as indicated by Goal.fork;
|
file |
diff |
annotate
|
| Tue, 25 May 2010 23:03:13 +0200 |
wenzelm |
eliminated obsolete priority message from Isabelle_Process protocol;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 23:16:32 +0200 |
wenzelm |
refer directly to structure Keyword and Parse;
|
file |
diff |
annotate
|
| Fri, 07 May 2010 22:00:23 +0200 |
wenzelm |
output symbolic pretty printing markup and format in the front end;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 19:43:59 +0100 |
wenzelm |
report keywords as singleton messages, control message kind via print mode;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 22:56:46 +0100 |
wenzelm |
simplified init message -- removed redundant session property;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2009 20:30:40 +0100 |
wenzelm |
removed slightly odd Isar_Document.init;
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 15:09:07 +0100 |
wenzelm |
simplified message format: chunks with explicit size in bytes;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2009 13:34:37 +0100 |
wenzelm |
non-critical output -- ship message in one piece;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 23:16:15 +0200 |
wenzelm |
actually perform Isar_Document.init on startup;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 13:25:35 +0200 |
wenzelm |
renamed IsabelleProcess to Isabelle_Process;
|
file |
diff |
annotate
|
| Tue, 02 Jun 2009 23:30:45 +0200 |
wenzelm |
IsabelleProcess: emit status "ready" after initialization and reports;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
| base
|