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
Fri, 07 Apr 2017 13:19:11 +0200
changeset 65423 4527b33d5b3e
parent 65422 b606c98e6d10
child 65424 741d40f42dd3
tuned;
src/Pure/PIDE/resources.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/resources.scala	Fri Apr 07 13:07:43 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Fri Apr 07 13:19:11 2017 +0200
@@ -76,8 +76,8 @@
 
     session_base.known_theories.get(theory) orElse session_base.known_theories.get(theory0) match
     {
-      case Some(name) if session_base.loaded_theory(name) => name.loaded_theory
-      case Some(name) => name
+      case Some(name) =>
+        if (session_base.loaded_theory(name)) name.loaded_theory else name
       case None =>
         val path = Path.explode(s)
         val node = append(dir, thy_path(path))
isabelle