src/Tools/jEdit/src/proofdocument/token.scala
changeset 34760 dc7f5e0d9d27
parent 34759 bfea7839d9e1
     1.1 --- a/src/Tools/jEdit/src/proofdocument/token.scala	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/proofdocument/token.scala	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -8,9 +8,6 @@
     1.4  package isabelle.proofdocument
     1.5  
     1.6  
     1.7 -import isabelle.prover.Command
     1.8 -
     1.9 -
    1.10  object Token {
    1.11    object Kind extends Enumeration
    1.12    {