| changeset 28178 | e56b8b044bef |
| parent 28143 | e5c6c4aac52c |
| child 28227 | 77221ee0f7b9 |
--- a/NEWS Tue Sep 09 16:29:34 2008 +0200 +++ b/NEWS Tue Sep 09 16:35:57 2008 +0200 @@ -19,6 +19,11 @@ *** Pure *** +* Changed defaults for unify configuration options: + + unify_trace_bound = 50 (formerly 25) + unify_search_bound = 60 (formerly 30) + * Different bookkeeping for code equations: a) On theory merge, the last set of code equations for a particular constant is taken (in accordance with the policy applied by other parts of the