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