| changeset 48870 | 4accee106f0f |
| parent 48422 | 9613780a805b |
| child 48882 | 61dc7d5d150a |
--- 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 = {