# HG changeset patch
# User wenzelm
# Date 1260305674 -3600
# Node ID 826525fc5285bd0daaf5f06650826ea6878aff6b
# Parent  d8d321af147845d6b4e4af4b84900baa4170224e
more precise messages;

diff -r d8d321af1478 -r 826525fc5285 src/Tools/jEdit/src/jedit/results_dockable.scala
--- a/src/Tools/jEdit/src/jedit/results_dockable.scala	Tue Dec 08 21:49:30 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/results_dockable.scala	Tue Dec 08 21:54:34 2009 +0100
@@ -47,7 +47,7 @@
             else cmd.results(theory_view.current_document)
           html_panel.render(body)
           
-        case bad => System.err.println("prover: ignoring bad message " + bad)
+        case bad => System.err.println("results_actor: ignoring bad message " + bad)
       }
     }
   }
@@ -56,7 +56,7 @@
     loop {
       react {
         case _: Unit => html_panel.init(Isabelle.Int_Property("font-size"))
-        case bad => System.err.println("prover: ignoring bad message " + bad)
+        case bad => System.err.println("properties: ignoring bad message " + bad)
       }
     }
   }
diff -r d8d321af1478 -r 826525fc5285 src/Tools/jEdit/src/proofdocument/command.scala
--- a/src/Tools/jEdit/src/proofdocument/command.scala	Tue Dec 08 21:49:30 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/command.scala	Tue Dec 08 21:54:34 2009 +0100
@@ -27,7 +27,7 @@
     loop {
       react {
         case (prover: Prover, message: XML.Tree) => _state = _state.+(prover, message)
-        case bad => System.err.println("prover: ignoring bad message " + bad)
+        case bad => System.err.println("Accumulator: ignoring bad message " + bad)
       }
     }
   }
diff -r d8d321af1478 -r 826525fc5285 src/Tools/jEdit/src/proofdocument/html_panel.scala
--- a/src/Tools/jEdit/src/proofdocument/html_panel.scala	Tue Dec 08 21:49:30 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/html_panel.scala	Tue Dec 08 21:54:34 2009 +0100
@@ -90,7 +90,7 @@
           doc1 = doc
           Swing_Thread.now { setDocument(doc1, rcontext) }
 
-        case bad => System.err.println("prover: ignoring bad message " + bad)
+        case bad => System.err.println("main_actor: ignoring bad message " + bad)
       }
     }
   }
diff -r d8d321af1478 -r 826525fc5285 src/Tools/jEdit/src/proofdocument/prover.scala
--- a/src/Tools/jEdit/src/proofdocument/prover.scala	Tue Dec 08 21:49:30 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/prover.scala	Tue Dec 08 21:54:34 2009 +0100
@@ -28,7 +28,7 @@
         react {
           case result: Isabelle_Process.Result => handle_result(result)
           case change: Change if prover_ready => handle_change(change)
-          case bad if prover_ready => System.err.println("prover: ignoring bad message " + bad)
+          case bad if prover_ready => System.err.println("receiver: ignoring bad message " + bad)
         }
       }
     }