changeset 72756 | 72ac27ea12b2 |
parent 72729 | 83411077c37b |
child 72836 | ec61e1767689 |
--- a/src/Pure/Thy/bibtex.scala Sat Nov 28 15:15:53 2020 +0100 +++ b/src/Pure/Thy/bibtex.scala Sat Nov 28 15:17:14 2020 +0100 @@ -147,6 +147,7 @@ object Check_Database extends Scala.Fun("bibtex_check_database") { + val here = Scala_Project.here def apply(database: String): String = { import XML.Encode._