# HG changeset patch
# User wenzelm
# Date 1407582206 -7200
#      Sat Aug 09 13:03:26 2014 +0200
# Node ID 908f85843bf688f376e3621fb88d1bde804d0c0a
# Parent  9c361f94b3232d79dd7b4bbee79f1b288fbfba0c
test;

diff -r 9c361f94b323 -r 908f85843bf6 src/Pure/PIDE/protocol.ML
--- a/src/Pure/PIDE/protocol.ML	Sat Aug 09 11:43:58 2014 +0200
+++ b/src/Pure/PIDE/protocol.ML	Sat Aug 09 13:03:26 2014 +0200
@@ -53,6 +53,9 @@
   Isabelle_Process.protocol_command "Document.update"
     (fn [old_id_string, new_id_string, edits_yxml] => Document.change_state (fn state =>
       let
+        fun syslog msg =
+          Output.physical_stderr (msg ^ " " ^ old_id_string ^ " " ^ new_id_string ^ "\n");
+
         val _ = Execution.discontinue ();
 
         val old_id = Document_ID.parse old_id_string;
@@ -78,9 +81,13 @@
                       list (pair int (pair string (list string))) c)]))
             end;
 
+        val _ = syslog "Document.update";
         val (removed, assign_update, state') = Document.update old_id new_id edits state;
+        val _ = syslog "Execution.terminate";
         val _ = List.app Execution.terminate removed;
+        val _ = syslog "Execution.purge";
         val _ = Execution.purge removed;
+        val _ = syslog "Isabelle_Process.reset_tracing";
         val _ = List.app Isabelle_Process.reset_tracing removed;
 
         val _ =
@@ -89,6 +96,8 @@
               let open XML.Encode
               in pair int (list (pair int (list int))) end
               |> YXML.string_of_body];
+
+        val _ = syslog "Document.start_execution";
       in Document.start_execution state' end));
 
 val _ =