NEWS
changeset 56826 ba18bd41e510
parent 56815 848d507584db
child 56839 94477e9ff063
     1.1 --- a/NEWS	Fri May 02 14:15:23 2014 +0200
     1.2 +++ b/NEWS	Fri May 02 21:18:50 2014 +0200
     1.3 @@ -226,6 +226,9 @@
     1.4    "sint_word_ariths", "word_arith_alts", "uint_word_ariths",
     1.5    "uint_word_arith_bintrs".
     1.6  
     1.7 +* Code generator: enforce case of identifiers only for strict
     1.8 +target language requirements.  INCOMPATIBILITY.
     1.9 +
    1.10  * Code generator: explicit proof contexts in many ML interfaces.
    1.11  INCOMPATIBILITY.
    1.12