--- a/NEWS Fri Nov 27 06:48:35 2020 +0000
+++ b/NEWS Fri Nov 27 23:51:37 2020 +0100
@@ -278,6 +278,13 @@
"isabelle_scala_tools" and "isabelle_file_format": minor
INCOMPATIBILITY.
+* The syntax of theory load commands (for auxiliary files) is now
+specified in Isabelle/Scala, as instance of class
+isabelle.Command_Span.Load_Command registered via isabelle_scala_service
+in etc/settings. This allows more flexible schemes than just a list of
+file extensions. Minor INCOMPATIBILITY, e.g. see theory
+HOL-SPARK.SPARK_Setup to emulate the old behaviour.
+
* Isabelle server allows user-defined commands via
isabelle_scala_service.