NEWS
changeset 55686 e99ed112d303
parent 55677 1f89921f3e75
child 55716 2a6a8f9d52e1
     1.1 --- a/NEWS	Sun Feb 23 10:33:43 2014 +0100
     1.2 +++ b/NEWS	Sun Feb 23 10:44:57 2014 +0100
     1.3 @@ -90,6 +90,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Code generator: minimize exported identifiers by default.
     1.8 +
     1.9  * Code generation for SML and OCaml: dropped arcane "no_signatures" option.
    1.10  
    1.11  * Simproc "finite_Collect" is no longer enabled by default, due to