# HG changeset patch
# User wenzelm
# Date 1196804985 -3600
# Node ID e67230c2b9520ff5094c7425aca2832d874dc7c5
# Parent  330ca6e1dca8b9a730f1d065fc71cfc4032ca4f2
Isabelle process wrapper -- interaction via external program.

diff -r 330ca6e1dca8 -r e67230c2b952 src/Pure/Tools/isabelle_process.ML
--- /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;
+