diff -r cb70157293c0 -r 248e66e8321f src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Mon Sep 10 15:20:50 2012 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Mon Sep 10 17:13:17 2012 +0200
@@ -14,6 +14,7 @@
   "src/html_panel.scala"
   "src/hyperlink.scala"
   "src/isabelle_encoding.scala"
+  "src/isabelle_logic.scala"
   "src/isabelle_options.scala"
   "src/isabelle_rendering.scala"
   "src/isabelle_sidekick.scala"