# HG changeset patch
# User immler
# Date 1387275130 -3600
# Node ID 6d16700954146030dd7aa6e15409968615487bb8
# Parent  5e8bdb42078c393f8653b29fec8ff61fc61c3d2a
NEWS

diff -r 5e8bdb42078c -r 6d1670095414 NEWS
--- a/NEWS	Tue Dec 17 09:52:10 2013 +0100
+++ b/NEWS	Tue Dec 17 11:12:10 2013 +0100
@@ -110,6 +110,15 @@
   - Fixed soundness bug whereby mutually recursive datatypes could take
     infinite values.
 
+* HOL-Multivariate_Analysis:
+  - type class ordered_real_vector for ordered vector spaces
+  - changed order of ordered_euclidean_space to be compatible with
+    pointwise ordering on products. Therefore instance of
+    conditionally_complete_lattice and ordered_real_vector.
+    INCOMPATIBILITY: use box instead of greaterThanLessThan or
+    explicit set-comprehensions with eucl_less for other (half-) open
+    intervals.
+
 
 *** ML ***