changeset 34464 | 8a1ba195247a |
parent 34462 | fefbd0421e4e |
child 34467 | c7d7a92fe3d5 |
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Sat Jan 10 18:10:14 2009 +0100 +++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala Sun Jan 11 13:15:05 2009 +0100 @@ -71,11 +71,6 @@ } }) - //register for theory-view - - // could also use this: - // prover.commandInfo.add(c => Isabelle.theory_view.repaint(c.command)) - } def deactivate {