--- 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)
}
}
}
--- 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)
}
}
}
--- 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)
}
}
}
--- 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)
}
}
}