# HG changeset patch
# User wenzelm
# Date 1626637640 -7200
# Node ID 68596ed5b7c29b96e8b67ddc3cfc8dc6263c4e26
# Parent  6bf9f94198a77dbc0a7211863ac425bd85dc6be7
NEWS;

diff -r 6bf9f94198a7 -r 68596ed5b7c2 NEWS
--- 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: