Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 12 Apr 2017 14:59:55 +0200
changeset 65467 9535c670b1b4
parent 65464 f3cd78ba687c
child 65468 c41791ad75c3
tuned;
src/Pure/PIDE/resources.scala file | annotate | diff | comparison | revisions 
--- 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