src/Tools/jEdit/src/jedit/prover_setup.scala
changeset 34760 dc7f5e0d9d27
parent 34759 bfea7839d9e1
     1.1 --- a/src/Tools/jEdit/src/jedit/prover_setup.scala	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/prover_setup.scala	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -9,18 +9,18 @@
     1.4  
     1.5  import org.gjt.sp.jedit.{Buffer, View}
     1.6  
     1.7 -import isabelle.prover.Prover
     1.8 +import isabelle.proofdocument.{Prover, Theory_View}
     1.9  
    1.10  
    1.11 -class ProverSetup(buffer: Buffer)
    1.12 +class Prover_Setup(buffer: Buffer)
    1.13  {
    1.14    var prover: Prover = null
    1.15 -  var theory_view: TheoryView = null
    1.16 +  var theory_view: Theory_View = null
    1.17  
    1.18    def activate(view: View)
    1.19    {
    1.20 -    // TheoryView starts prover
    1.21 -    theory_view = new TheoryView(view.getTextArea)
    1.22 +    // Theory_View starts prover
    1.23 +    theory_view = new Theory_View(view.getTextArea)
    1.24      prover = theory_view.prover
    1.25  
    1.26      theory_view.activate()