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.scala
changeset 69367 34b7550b66c7
parent 69366 b6dacf6eabe3
child 70230 8ba266889dee 
--- a/src/Pure/Thy/bibtex.scala	Wed Nov 28 16:14:31 2018 +0100
+++ b/src/Pure/Thy/bibtex.scala	Wed Nov 28 16:18:40 2018 +0100
@@ -634,7 +634,7 @@
     {
       /* database files */
 
-      val bib_files = bib.map(path => path.split_ext._1)
+      val bib_files = bib.map(_.drop_ext)
       val bib_names =
       {
         val names0 = bib_files.map(_.file_name)
isabelle