NEWS

--- a/NEWS	Fri May 02 14:15:23 2014 +0200
+++ b/NEWS	Fri May 02 21:18:50 2014 +0200
@@ -226,6 +226,9 @@
   "sint_word_ariths", "word_arith_alts", "uint_word_ariths",
   "uint_word_arith_bintrs".
 
+* Code generator: enforce case of identifiers only for strict
+target language requirements.  INCOMPATIBILITY.
+
 * Code generator: explicit proof contexts in many ML interfaces.
 INCOMPATIBILITY.