removed obsolete use_legacy_bindings;
authorwenzelm
Mon Mar 24 23:34:31 2008 +0100 (2008-03-24 ago)
changeset 263877807cbf7640f
parent 26386 9c806de22a6a
child 26388 b879f68cf92b
removed obsolete use_legacy_bindings;
NEWS
     1.1 --- a/NEWS	Mon Mar 24 23:34:30 2008 +0100
     1.2 +++ b/NEWS	Mon Mar 24 23:34:31 2008 +0100
     1.3 @@ -172,6 +172,8 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Removed obsolete "use_legacy_bindings" function.  INCOMPATIBILITY.
     1.8 +
     1.9  * ML within Isar: antiquotation @{const name} or @{const
    1.10  name(typargs)} produces statically-checked Const term.
    1.11