Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/resources.scala
changeset 65467 9535c670b1b4
parent 65457 2bf0d2fcd506
child 65471 05e5bffcf1d8 
--- a/src/Pure/PIDE/resources.scala	Wed Apr 12 13:48:07 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Wed Apr 12 14:59:55 2017 +0200
@@ -76,7 +76,7 @@
     val theory =
       if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
         || true /* FIXME */) theory0
-      else theory0 // FIXME Long_Name.qualify(qualifier, theory0)
+      else Long_Name.qualify(qualifier, theory0)
 
     session_base.loaded_theories.get(theory) orElse
     session_base.loaded_theories.get(theory0) orElse
isabelle