| Fri, 17 Dec 2010 17:08:56 +0100 | wenzelm | renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning; | changeset | files |
| Fri, 17 Dec 2010 16:25:21 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 17 Dec 2010 14:09:37 +0100 | wenzelm | clarified exports of structure Simplifier; | changeset | files |
| Fri, 17 Dec 2010 13:45:43 +0100 | wenzelm | refer to regular structure Simplifier; | changeset | files |
| Fri, 17 Dec 2010 13:12:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Dec 2010 08:37:35 +0100 | boehmes | updated SMT certificates | changeset | files |
| Fri, 17 Dec 2010 00:27:40 +0100 | blanchet | more precise/correct SMT error handling | changeset | files |
| Fri, 17 Dec 2010 00:11:06 +0100 | blanchet | fixed off-by-one and return proper error code -- never underestimate the number of oddities in Perl | changeset | files |