NEWS
changeset 68364 5c579bb9adb1
parent 68348 2ac3a5c07dfa
child 68368 b00b40dc41af
     1.1 --- a/NEWS	Sun Jun 03 18:23:38 2018 +0200
     1.2 +++ b/NEWS	Sun Jun 03 19:06:56 2018 +0200
     1.3 @@ -315,8 +315,10 @@
     1.4  * Theory List: functions "sorted_wrt" and "sorted" now compare every
     1.5    element in a list to all following elements, not just the next one.
     1.6  
     1.7 -* Theory List: the non-standard filter-syntax "[x <- xs. P]" is
     1.8 -  deprecated and is currently only available as input syntax anymore.
     1.9 +* Theory List: Synatx:
    1.10 +  - filter-syntax "[x <- xs. P]" is no longer output syntax
    1.11 +    but only input syntax.
    1.12 +  - list comprehension syntax now supports tuple patterns in "pat <- xs".
    1.13  
    1.14  * Removed nat-int transfer machinery. Rare INCOMPATIBILITY.
    1.15