--- a/NEWS Fri Nov 27 21:59:23 2020 +0100
+++ b/NEWS Fri Nov 27 23:47:06 2020 +0100
@@ -272,6 +272,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.