equal
deleted
inserted
replaced
15 import org.gjt.sp.jedit.io.{VFS, FileVFS, VFSFile, VFSManager} |
15 import org.gjt.sp.jedit.io.{VFS, FileVFS, VFSFile, VFSManager} |
16 import org.gjt.sp.jedit.MiscUtilities |
16 import org.gjt.sp.jedit.MiscUtilities |
17 import org.gjt.sp.jedit.View |
17 import org.gjt.sp.jedit.View |
18 |
18 |
19 |
19 |
20 class JEdit_Thy_Load extends Thy_Load() |
20 class JEdit_Thy_Load(loaded_theories: Set[String] = Set.empty, base_syntax: Outer_Syntax) |
|
21 extends Thy_Load(loaded_theories, base_syntax) |
21 { |
22 { |
22 override def append(dir: String, source_path: Path): String = |
23 override def append(dir: String, source_path: Path): String = |
23 { |
24 { |
24 val path = source_path.expand |
25 val path = source_path.expand |
25 if (path.is_absolute) Isabelle_System.platform_path(path) |
26 if (path.is_absolute) Isabelle_System.platform_path(path) |