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/Thy/bibtex.ML
changeset 72613 d01ea9e3bd2d
parent 72194 eef421b724c0
child 73146 9dafcf6f152b 
--- a/src/Pure/Thy/bibtex.ML	Sat Nov 14 17:29:37 2020 +0100
+++ b/src/Pure/Thy/bibtex.ML	Sun Nov 15 17:34:19 2020 +0100
@@ -47,7 +47,7 @@
       (fn ctxt => fn (opt, citations) =>
         let
           val thy = Proof_Context.theory_of ctxt;
-          val bibtex_entries = Present.get_bibtex_entries thy;
+          val bibtex_entries = Resources.theory_bibtex_entries (Context.theory_long_name thy);
           val _ =
             if null bibtex_entries andalso Context.theory_name thy <> Context.PureN then ()
             else
isabelle