Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Tue, 10 Mar 2009 18:52:26 +0100
changeset 30417 09a757ca128f
parent 30416 c132175cae7e (diff)
parent 30414 aa8c5ab72cc6 (current diff)
child 30418 b5044aca0729
child 30425 eacaf2f86bb5
child 30427 dfd31c1db060
merged
--- a/NEWS	Tue Mar 10 17:54:49 2009 +0100
+++ b/NEWS	Tue Mar 10 18:52:26 2009 +0100
@@ -198,6 +198,9 @@
 
     find_consts strict: "_ => bool" name: "Int" -"int => int"
 
+* Linear arithmetic now ignores all inequalities when fast_arith_neq_limit
+is exceeded, instead of giving up entirely.
+
 
 *** Document preparation ***
isabelle