--- a/src/Tools/jEdit/src/proofdocument/token.scala Tue Dec 08 14:49:01 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/token.scala Tue Dec 08 16:30:20 2009 +0100
@@ -8,9 +8,6 @@
package isabelle.proofdocument
-import isabelle.prover.Command
-
-
object Token {
object Kind extends Enumeration
{