--- a/NEWS Mon Mar 24 23:34:30 2008 +0100
+++ b/NEWS Mon Mar 24 23:34:31 2008 +0100
@@ -172,6 +172,8 @@
*** ML ***
+* Removed obsolete "use_legacy_bindings" function. INCOMPATIBILITY.
+
* ML within Isar: antiquotation @{const name} or @{const
name(typargs)} produces statically-checked Const term.