| changeset 34443 | f2e13329cc49 |
| parent 34441 | ff3b7ae2b12a |
| child 34456 | 14367c0715e8 |
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Sat Dec 27 15:20:02 2008 +0100 +++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala Sat Dec 27 15:20:46 2008 +0100 @@ -23,7 +23,7 @@ class ProverSetup(buffer : JEditBuffer) { - val prover = new Prover() + val prover = new Prover(Isabelle.system, Isabelle.symbols) var theory_view : TheoryView = null private var _selectedState : Command = null