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 |