| Fri, 27 Aug 2010 17:23:57 +0200 | wenzelm | eliminated Unsynchronized.ref in favour of configuration option; | changeset | files |
| Fri, 27 Aug 2010 17:11:29 +0200 | wenzelm | more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs'); | changeset | files |
| Fri, 27 Aug 2010 17:09:18 +0200 | wenzelm | Sum_Of_Squares: proper configuration options; | changeset | files |