src/Pure/Tools/isabelle_process.ML
changeset 25528 e67230c2b952
child 25554 082d97057e23
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Tools/isabelle_process.ML	Tue Dec 04 22:49:45 2007 +0100
@@ -0,0 +1,21 @@
+(*  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;
+