# HG changeset patch
# User nipkow
# Date 1190208418 -7200
# Node ID f7b68d12a91ee925b9f46fe2a4700008bcba72ad
# Parent  1e8053a6d725b4d6ea65151740820e24193fe291
*** empty log message ***

diff -r 1e8053a6d725 -r f7b68d12a91e NEWS
--- a/NEWS	Wed Sep 19 13:59:13 2007 +0200
+++ b/NEWS	Wed Sep 19 15:26:58 2007 +0200
@@ -737,6 +737,10 @@
   [x <- xs. P] to avoid an ambiguity caused by list comprehension syntax,
   and for uniformity. INCOMPATIBILITY
 
+* [a..b] is now defined for arbitrary linear orders.
+  It used to be defined on nat only, as an abbreviation for [a..<Suc b]
+  INCOMPATIBILITY
+
 * Lemma "set_take_whileD" renamed to "set_takeWhileD"
 
 * new functions sorted and sort in List.