src/Tools/jEdit/src/prover/Command.scala

--- a/src/Tools/jEdit/src/prover/Command.scala	Mon Jan 19 21:58:38 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Mon Jan 19 23:29:44 2009 +0100
@@ -11,7 +11,7 @@
 import javax.swing.text.Position
 import javax.swing.tree.DefaultMutableTreeNode
 
-import isabelle.proofdocument.Token
+import isabelle.proofdocument.{Token, ProofDocument}
 import isabelle.jedit.{Isabelle, Plugin}
 import isabelle.XML
 
@@ -29,7 +29,7 @@
 }
 
 
-class Command(val document: Document, val first: Token, val last: Token)
+class Command(val document: ProofDocument, val first: Token, val last: Token)
 {
   val id = Isabelle.plugin.id()