NEWS
changeset 30415 9501af91c4a3
parent 30399 a4772a650b4e
child 30439 57c68b3af2ea
     1.1 --- a/NEWS	Tue Mar 10 08:47:45 2009 +0000
     1.2 +++ b/NEWS	Tue Mar 10 17:39:06 2009 +0000
     1.3 @@ -198,6 +198,9 @@
     1.4  
     1.5      find_consts strict: "_ => bool" name: "Int" -"int => int"
     1.6  
     1.7 +* Linear arithmetic now ignores all inequalities when fast_arith_neq_limit
     1.8 +is exceeded, instead of giving up entirely.
     1.9 +
    1.10  
    1.11  *** Document preparation ***
    1.12