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