Sun, 18 Jul 2021 21:47:20 +0200
changeset 74042 68596ed5b7c2
parent 74041 6bf9f94198a7
child 74043 13c66810f7b0
--- 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