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/document.ML
changeset 56801 8dd9df88f647
parent 56458 a8d960baa5c2
child 57615 df1b3452d71c 
--- a/src/Pure/PIDE/document.ML	Wed Apr 30 13:11:24 2014 +0200
+++ b/src/Pure/PIDE/document.ML	Wed Apr 30 22:34:11 2014 +0200
@@ -429,7 +429,7 @@
 
 fun loaded_theory name =
   (case try (unsuffix ".thy") name of
-    SOME a => Thy_Info.lookup_theory a
+    SOME a => get_first Thy_Info.lookup_theory [a, Long_Name.base_name a]
   | NONE => NONE);
 
 fun init_theory deps node span =
isabelle