# HG changeset patch
# User immler@in.tum.de
# Date 1231676105 -3600
# Node ID 8a1ba195247a35e7a42c7dd19f70a28f67edb4c9
# Parent  b510b7d88de2fdd73bb015f93c5483b9a6c83b44
removed comment:
theory-view registers when created

diff -r b510b7d88de2 -r 8a1ba195247a 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 {