NEWS
changeset 21879 a3efbae45735
parent 21791 367477e8458b
child 21896 9a7949815a84
     1.1 --- a/NEWS	Mon Dec 18 08:21:34 2006 +0100
     1.2 +++ b/NEWS	Mon Dec 18 08:21:35 2006 +0100
     1.3 @@ -553,10 +553,10 @@
     1.4  property, add the corresponding classes.
     1.5  
     1.6  * Locale Lattic_Locales.partial_order changed (to achieve consistency with
     1.7 -  axclass order):
     1.8 -  - moved to Orderings.partial_order
     1.9 -  - additional parameter ``less''
    1.10 -  INCOMPATIBILITY.
    1.11 +axclass order):
    1.12 +- moved to Orderings.partial_order
    1.13 +- additional parameter ``less''
    1.14 +INCOMPATIBILITY.
    1.15  
    1.16  * Constant "List.list_all2" in List.thy now uses authentic syntax.
    1.17  INCOMPATIBILITY: translations containing list_all2 may go wrong. On Isar
    1.18 @@ -768,6 +768,10 @@
    1.19  
    1.20  *** ML ***
    1.21  
    1.22 +* Pure/Isar/args.ML & Pure/Isar/method.ML
    1.23 +
    1.24 +switched argument order in *.syntax lifters.
    1.25 +
    1.26  * Pure/table:
    1.27  
    1.28  Function `...tab.foldl` removed.