NEWS

--- a/NEWS	Sun Jan 15 15:50:04 2017 +0100
+++ b/NEWS	Sun Jan 15 15:51:33 2017 +0100
@@ -88,6 +88,10 @@
 (the "Marketplace"). It serves as example for further potential IDE
 front-ends.
 
+* ISABELLE_SCALA_BUILD_OPTIONS has been renamed to
+ISABELLE_SCALAC_OPTIONS. Rare INCOMPATIBILITY.
+
+
 
 New in Isabelle2016-1 (December 2016)
 -------------------------------------