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 |