changeset 39585 | 00be8711082f |
parent 39530 | 16adc476348f |
child 39591 | a43a723753e6 |
--- a/src/Pure/System/isabelle_process.ML Wed Sep 22 12:52:35 2010 +0200 +++ b/src/Pure/System/isabelle_process.ML Wed Sep 22 13:47:48 2010 +0200 @@ -78,7 +78,7 @@ (Position.properties_of (Position.thread_data ()))) body; fun init_message out_stream = - message out_stream "A" [(Markup.pidN, process_id ())] (Session.welcome ()); + message out_stream "A" [] (Session.welcome ()); end;