NEWS
changeset 22125 cc35c948f6c5
parent 21960 0574f192b78a
child 22126 420b7b102acc
     1.1 --- a/NEWS	Fri Jan 19 22:10:35 2007 +0100
     1.2 +++ b/NEWS	Fri Jan 19 22:14:23 2007 +0100
     1.3 @@ -774,10 +774,6 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 -* Pure/Isar/args.ML & Pure/Isar/method.ML
     1.8 -
     1.9 -switched argument order in *.syntax lifters.
    1.10 -
    1.11  * Pure/table:
    1.12  
    1.13  Function `...tab.foldl` removed.