| Wed, 24 Sep 2008 19:33:13 +0200 |
wenzelm |
protocol change: remapped message codes to make room for nested system messages (e.g. for protocol proxy);
|
file |
diff |
annotate
|
| Wed, 24 Sep 2008 18:08:42 +0200 |
wenzelm |
init: OuterKeyword.report;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 15:37:33 +0200 |
wenzelm |
SimpleThread.fork;
|
file |
diff |
annotate
|
| Wed, 10 Sep 2008 11:36:37 +0200 |
wenzelm |
auto_flush: uniform block buffering for all output streams;
|
file |
diff |
annotate
|
| Tue, 09 Sep 2008 23:48:38 +0200 |
wenzelm |
auto_flush stdout, stderr as well;
|
file |
diff |
annotate
|
| Tue, 09 Sep 2008 19:57:54 +0200 |
wenzelm |
out_stream: block-buffered, with separate autoflush thread (every 50ms);
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 20:05:48 +0200 |
wenzelm |
init: disallow "" as out stream;
|
file |
diff |
annotate
|
| Fri, 29 Aug 2008 20:36:07 +0200 |
wenzelm |
init: more explicit protocol of open/remove rendezvous;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 19:34:51 +0200 |
wenzelm |
rm fifo after open;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 19:29:57 +0200 |
wenzelm |
explicit output stream, typically a named pipe;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 00:33:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 24 Aug 2008 18:57:43 +0200 |
wenzelm |
init_message: class markup in message body, not header;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 23:07:43 +0200 |
wenzelm |
symbolic message markup;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 19:42:15 +0200 |
wenzelm |
removed full_markup mode (default);
|
file |
diff |
annotate
|
| Tue, 12 Aug 2008 21:28:07 +0200 |
wenzelm |
message: ignored if body empty;
|
file |
diff |
annotate
|
| Tue, 15 Jul 2008 14:15:43 +0200 |
wenzelm |
added status channel;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 21:30:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 17 Apr 2008 16:30:52 +0200 |
wenzelm |
replaced token translations by common markup;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2008 14:28:47 +0200 |
wenzelm |
Isar.toplevel_loop: separate init/welcome flag;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 13:44:43 +0200 |
wenzelm |
replaced Isar loop variants by generic toplevel_loop;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2008 11:59:25 +0200 |
wenzelm |
support "YXML" mode for output transfer notation;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 21:23:42 +0200 |
wenzelm |
removed yxmlN for now;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 18:42:41 +0200 |
wenzelm |
moved output_markup to xml.ML;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 16:03:57 +0200 |
wenzelm |
Symbol.STX, Symbol.DEL;
|
file |
diff |
annotate
|
| Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 15:32:15 +0100 |
wenzelm |
eliminated delayed theory setup
|
file |
diff |
annotate
|
| Tue, 11 Mar 2008 19:35:05 +0100 |
wenzelm |
message: proper root element for XML output;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2008 22:58:13 +0100 |
wenzelm |
renamed test_markup to output_markup;
|
file |
diff |
annotate
|
| Sun, 10 Feb 2008 20:49:47 +0100 |
wenzelm |
tuned default position;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2008 15:57:57 +0100 |
wenzelm |
removed obsolete prompt and channel markups;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2008 21:57:18 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2008 21:37:24 +0100 |
wenzelm |
added symbol output mode, with XML escapes;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2008 22:25:16 +0100 |
wenzelm |
simplified position_props, always include line/file fields;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2008 17:50:44 +0100 |
wenzelm |
output message properties: id or position;
|
file |
diff |
annotate
|
| Sun, 30 Dec 2007 23:07:27 +0100 |
wenzelm |
added PROMPT message;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2007 21:15:37 +0100 |
wenzelm |
added output protocol specification;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2007 17:40:06 +0100 |
wenzelm |
special_end: replaced Z by dot;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2007 22:07:11 +0100 |
wenzelm |
renamed ML_PID to PID;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2007 00:21:34 +0100 |
wenzelm |
added test_markup;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2007 22:49:45 +0100 |
wenzelm |
Isabelle process wrapper -- interaction via external program.
|
file |
diff |
annotate
|