--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Tue Dec 08 14:29:29 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,35 +0,0 @@
-/*
- * Independent prover sessions for each buffer
- *
- * @author Fabian Immler, TU Munich
- */
-
-package isabelle.jedit
-
-
-import org.gjt.sp.jedit.{Buffer, View}
-
-import isabelle.prover.Prover
-
-
-class ProverSetup(buffer: Buffer)
-{
- var prover: Prover = null
- var theory_view: TheoryView = null
-
- def activate(view: View)
- {
- // TheoryView starts prover
- theory_view = new TheoryView(view.getTextArea)
- prover = theory_view.prover
-
- theory_view.activate()
- prover.begin_document(buffer.getName)
- }
-
- def deactivate()
- {
- theory_view.deactivate
- prover.stop
- }
-}