# HG changeset patch
# User wenzelm
# Date 1169241263 -3600
# Node ID cc35c948f6c5a2b0741ad5bb0fd4d9d89d491351
# Parent  27b674312b2fc842d869608069ca2ff508df4a8e
tuned;

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.