src/Pure/Tools/isabelle_process.ML
Fri, 07 Dec 2007 17:40:06 +0100 wenzelm special_end: replaced Z by dot;
Thu, 06 Dec 2007 22:07:11 +0100 wenzelm renamed ML_PID to PID;
Thu, 06 Dec 2007 00:21:34 +0100 wenzelm added test_markup;
Tue, 04 Dec 2007 22:49:45 +0100 wenzelm Isabelle process wrapper -- interaction via external program.
less more (0) tip