src/Tools/jEdit/src/jedit/isabelle_sidekick.scala
changeset 34760 dc7f5e0d9d27
parent 34759 bfea7839d9e1
child 34777 91d6089cef88
     1.1 --- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  package isabelle.jedit
     1.6  
     1.7 +
     1.8  import scala.collection.Set
     1.9  import scala.collection.immutable.TreeSet
    1.10  
    1.11 @@ -18,11 +19,10 @@
    1.12  import errorlist.DefaultErrorSource
    1.13  import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion, IAsset}
    1.14  
    1.15 -import isabelle.prover.{Command, Markup_Node}
    1.16 -import isabelle.proofdocument.ProofDocument
    1.17 +import isabelle.proofdocument.{Command, Markup_Node, Proof_Document}
    1.18  
    1.19  
    1.20 -class IsabelleSideKickParser extends SideKickParser("isabelle")
    1.21 +class Isabelle_Sidekick extends SideKickParser("isabelle")
    1.22  {
    1.23    /* parsing */
    1.24