diff -r 4371a8d029f2 -r 4accee106f0f src/Tools/jEdit/src/jedit_thy_load.scala
--- a/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 21 11:00:54 2012 +0200
+++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 21 12:15:25 2012 +0200
@@ -17,7 +17,8 @@
 import org.gjt.sp.jedit.View
 
 
-class JEdit_Thy_Load extends Thy_Load()
+class JEdit_Thy_Load(loaded_theories: Set[String] = Set.empty, base_syntax: Outer_Syntax)
+  extends Thy_Load(loaded_theories, base_syntax)
 {
   override def append(dir: String, source_path: Path): String =
   {