| 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 |
| Fri, 27 Aug 2010 17:02:19 +0200 | wenzelm | tuned printed type names, according to ML; | changeset | files |