diff -r 27b674312b2f -r cc35c948f6c5 NEWS
--- 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.