NEWS
changeset 61941 31f2105521ee
parent 61922 a1b697a2f3a8
child 61943 7fba644ed827
     1.1 --- a/NEWS	Sun Dec 27 16:40:09 2015 +0100
     1.2 +++ b/NEWS	Sun Dec 27 17:16:21 2015 +0100
     1.3 @@ -474,6 +474,8 @@
     1.4  The subsequent commands help to reproduce the old forms, e.g. to
     1.5  simplify porting old theories:
     1.6  
     1.7 +  notation iff  (infixr "<->" 25)
     1.8 +
     1.9    type_notation Map.map  (infixr "~=>" 0)
    1.10    notation Map.map_comp  (infixl "o'_m" 55)
    1.11