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