--- a/src/Pure/PIDE/resources.scala Sat Apr 08 12:47:34 2017 +0200
+++ b/src/Pure/PIDE/resources.scala Sat Apr 08 20:56:41 2017 +0200
@@ -14,8 +14,8 @@
class Resources(
- val session_name: String,
val session_base: Sessions.Base,
+ val default_qualifier: String = "",
val log: Logger = No_Logger)
{
val thy_info = new Thy_Info(this)
@@ -72,7 +72,7 @@
val theory0 = Thy_Header.base_name(s)
val theory =
if (Long_Name.is_qualified(theory0) || session_base.global_theories.contains(theory0)) theory0
- else Long_Name.qualify(session_name, theory0)
+ else Long_Name.qualify(default_qualifier, theory0)
session_base.loaded_theories.get(theory) orElse
session_base.loaded_theories.get(theory0) orElse