Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed ML_PID to PID;
authorwenzelm
Thu, 06 Dec 2007 22:07:11 +0100
changeset 25565 33d30a53fae7
parent 25564 4ca31a3706a4
child 25566 33f740c5e022
renamed ML_PID to PID;
src/Pure/Tools/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/isabelle_process.ML	Thu Dec 06 19:58:21 2007 +0100
+++ b/src/Pure/Tools/isabelle_process.ML	Thu Dec 06 22:07:11 2007 +0100
@@ -52,7 +52,7 @@
 (* init *)
 
 fun init () =
- (Output.writeln_default ("ML_PID=" ^ string_of_pid (Posix.ProcEnv.getpid ()));
+ (Output.writeln_default ("PID=" ^ string_of_pid (Posix.ProcEnv.getpid ()));
   setup_channels ();
   Isar.secure_main ());
isabelle