src/Pure/Tools/isabelle_process.ML
author wenzelm
Tue, 04 Dec 2007 22:49:45 +0100
changeset 25528 e67230c2b952
child 25554 082d97057e23
permissions -rw-r--r--
Isabelle process wrapper -- interaction via external program.

(*  Title:      Pure/Tools/isabelle_process.ML
    ID:         $Id$
    Author:     Makarius

Isabelle process wrapper -- interaction via external program.
*)

signature ISABELLE_PROCESS =
sig
  val init: unit -> unit
end;

structure IsabelleProcess: ISABELLE_PROCESS =
struct

fun init () =
  (Output.writeln_default ("ML_PID=" ^ string_of_pid (Posix.ProcEnv.getpid ()));
  Isar.secure_main ());

end;