--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala Wed Nov 05 16:28:56 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala Thu Nov 06 18:19:56 2008 +0100
@@ -8,25 +8,16 @@
package isabelle.jedit
-import java.io.{ ByteArrayInputStream, FileInputStream, InputStream }
-
import scala.collection.mutable.ArrayBuffer
-import java.awt.{ BorderLayout, GridLayout, Adjustable, Rectangle, Scrollbar }
-import java.awt.image.BufferedImage
+import java.awt.{ BorderLayout, Adjustable }
import java.awt.event.{ ActionListener, ActionEvent, AdjustmentListener, AdjustmentEvent, ComponentListener, ComponentEvent }
-import javax.swing.{ JPanel, JRadioButton, JScrollBar, JScrollPane, JTextArea, ScrollPaneConstants, Timer }
-
-import isabelle.IsabelleSystem.getenv
-
-import org.xml.sax.InputSource;
+import javax.swing.{ JPanel, JRadioButton, JScrollBar, JTextArea, Timer }
import org.w3c.dom.Document
import org.xhtmlrenderer.simple.XHTMLPanel
import org.xhtmlrenderer.context.AWTFontResolver
-import org.xhtmlrenderer.swing.NaiveUserAgent
-import org.xhtmlrenderer.resource.CSSResource
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/prover/Prover.scala Wed Nov 05 16:28:56 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala Thu Nov 06 18:19:56 2008 +0100
@@ -64,7 +64,7 @@
case Elem("keyword_decl", List(("name", keyw)), _) =>
() //TODO: with these keywords simplify the token-regex in ProofDocument
case _ =>
- //TODO
+ //TODO: can there be other decls?
if (st != null)
handleResult(st, r, tree)
})