Tue, 31 Jul 2007 00:56:31 +0200 | wenzelm | turned fast_arith_split/neq_limit into configuration options; | changeset | files |
Tue, 31 Jul 2007 00:56:31 +0200 | wenzelm | added global config options; | changeset | files |
Tue, 31 Jul 2007 00:56:29 +0200 | wenzelm | arith method setup: proper context; | changeset | files |