--- a/src/Pure/Thy/bibtex.ML Wed May 20 15:00:25 2020 +0100
+++ b/src/Pure/Thy/bibtex.ML Wed May 20 20:45:43 2020 +0200
@@ -20,7 +20,7 @@
type message = string * Position.T;
fun check_database pos0 database =
- Invoke_Scala.method "isabelle.Bibtex.check_database_yxml" database
+ Scala.method "isabelle.Bibtex.check_database_yxml" database
|> YXML.parse_body
|> let open XML.Decode in pair (list (pair string properties)) (list (pair string properties)) end
|> (apply2 o map o apsnd) (fn pos => Position.of_properties (pos @ Position.get_props pos0));