src/Pure/Tools/isabelle_process.ML
Tue, 04 Dec 2007 22:49:45 +0100 wenzelm Isabelle process wrapper -- interaction via external program.
less more (0) tip