--- a/NEWS Fri Jan 19 22:10:35 2007 +0100
+++ b/NEWS Fri Jan 19 22:14:23 2007 +0100
@@ -774,10 +774,6 @@
*** ML ***
-* Pure/Isar/args.ML & Pure/Isar/method.ML
-
-switched argument order in *.syntax lifters.
-
* Pure/table:
Function `...tab.foldl` removed.