| 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
|