NEWS
changeset 55677 1f89921f3e75
parent 55668 6e97c1766500
child 55686 e99ed112d303
     1.1 --- a/NEWS	Sun Feb 23 10:33:43 2014 +0100
     1.2 +++ b/NEWS	Sun Feb 23 10:33:43 2014 +0100
     1.3 @@ -90,6 +90,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Code generation for SML and OCaml: dropped arcane "no_signatures" option.
     1.8 +
     1.9  * Simproc "finite_Collect" is no longer enabled by default, due to
    1.10  spurious crashes and other surprises.  Potential INCOMPATIBILITY.
    1.11