NEWS
changeset 64900 3687036107cd
parent 64898 49aa13b1b592
child 64917 5db5b8cf6dc6
     1.1 --- a/NEWS	Sun Jan 15 15:50:04 2017 +0100
     1.2 +++ b/NEWS	Sun Jan 15 15:51:33 2017 +0100
     1.3 @@ -88,6 +88,10 @@
     1.4  (the "Marketplace"). It serves as example for further potential IDE
     1.5  front-ends.
     1.6  
     1.7 +* ISABELLE_SCALA_BUILD_OPTIONS has been renamed to
     1.8 +ISABELLE_SCALAC_OPTIONS. Rare INCOMPATIBILITY.
     1.9 +
    1.10 +
    1.11  
    1.12  New in Isabelle2016-1 (December 2016)
    1.13  -------------------------------------