NEWS
changeset 61069 aefe89038dd2
parent 61043 0810068379d8
child 61074 44a8cd035dfb
     1.1 --- a/NEWS	Mon Aug 31 20:56:24 2015 +0200
     1.2 +++ b/NEWS	Mon Aug 31 21:01:21 2015 +0200
     1.3 @@ -181,6 +181,14 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Some old and rarely used ASCII replacement syntax has been removed.
     1.8 +INCOMPATIBILITY, standard syntax with symbols should be used instead.
     1.9 +The subsequent commands help to reproduce the old forms, e.g. to
    1.10 +simplify porting old theories:
    1.11 +
    1.12 +  type_notation Map.map  (infixr "~=>" 0)
    1.13 +  notation Map.map_comp  (infixl "o'_m" 55)
    1.14 +
    1.15  * Theory Map: lemma map_of_is_SomeD was a clone of map_of_SomeD and has
    1.16  been removed. INCOMPATIBILITY.
    1.17