--- a/NEWS Sun Jun 03 18:23:38 2018 +0200
+++ b/NEWS Sun Jun 03 19:06:56 2018 +0200
@@ -315,8 +315,10 @@
* Theory List: functions "sorted_wrt" and "sorted" now compare every
element in a list to all following elements, not just the next one.
-* Theory List: the non-standard filter-syntax "[x <- xs. P]" is
- deprecated and is currently only available as input syntax anymore.
+* Theory List: Synatx:
+ - filter-syntax "[x <- xs. P]" is no longer output syntax
+ but only input syntax.
+ - list comprehension syntax now supports tuple patterns in "pat <- xs".
* Removed nat-int transfer machinery. Rare INCOMPATIBILITY.