NEWS

--- a/NEWS	Mon Dec 20 14:46:23 2021 +0100
+++ b/NEWS	Tue Dec 21 19:31:30 2021 +0100
@@ -45,6 +45,15 @@
     in TH0 and TH1.
 
 
+*** System ***
+
+* Command-line tool "isabelle scala_project" supports Gradle as
+alternative to Maven: either option -G or -M needs to be specified
+explicitly. This increases the chances that the Java/Scala IDE project
+works properly.
+
+
+
 New in Isabelle2021-1 (December 2021)
 -------------------------------------