--- a/src/Tools/jEdit/src/proofdocument/state.scala Tue Dec 08 14:49:01 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/state.scala Tue Dec 08 16:30:20 2009 +0100
@@ -5,7 +5,7 @@
* @author Makarius
*/
-package isabelle.prover
+package isabelle.proofdocument
class State(