--- a/NEWS Sun Jul 18 21:46:16 2021 +0200
+++ b/NEWS Sun Jul 18 21:47:20 2021 +0200
@@ -275,6 +275,25 @@
*** System ***
+* Each Isabelle component may specify a Scala/Java jar module
+declaratively via etc/build.props (all file names are relative to the
+component directory). E.g. see $ISABELLE_HOME/etc/build.props with
+further explanations in the "system" manual.
+
+* Command-line tool "isabelle scala_build" allows to invoke the build
+process of all Scala/Java modules explicitly. Normally this is done
+implicitly on demand, e.g. for "isabelle scala" or "isabelle jedit".
+
+* Command-line tool "isabelle scala_project" is now more thorough in
+providing Scala/Java sources of all components with etc/build.props,
+including user add-ons. This includes jEdit sources and Isabelle/jEdit
+plugins (jedit_base and jedit_main).
+
+* Isabelle/jEdit is now composed more conventionally from the original
+jEdit in $JEDIT_HOME (with minor patches), plus two plugins that are
+produced in $JEDIT_SETTINGS/jar on demand. The main isabelle.jedit
+module is now part of Isabelle/Scala (as one big $ISABELLE_SCALA_JAR).
+
* ML profiling has been updated and reactivated, after some degration in
Isabelle2021: