src/Tools/jEdit/src/jedit/ProverSetup.scala

--- 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 {