| changeset 25528 | e67230c2b952 |
| child 25554 | 082d97057e23 |
| 25527:330ca6e1dca8 | 25528:e67230c2b952 |
|---|---|
1 (* Title: Pure/Tools/isabelle_process.ML |
|
2 ID: $Id$ |
|
3 Author: Makarius |
|
4 |
|
5 Isabelle process wrapper -- interaction via external program. |
|
6 *) |
|
7 |
|
8 signature ISABELLE_PROCESS = |
|
9 sig |
|
10 val init: unit -> unit |
|
11 end; |
|
12 |
|
13 structure IsabelleProcess: ISABELLE_PROCESS = |
|
14 struct |
|
15 |
|
16 fun init () = |
|
17 (Output.writeln_default ("ML_PID=" ^ string_of_pid (Posix.ProcEnv.getpid ())); |
|
18 Isar.secure_main ()); |
|
19 |
|
20 end; |
|
21 |