| Fri, 05 Feb 2010 14:33:29 +0100 | haftmann | added explaining comment; added ac_simps slot; drop unused abstract lattice; dropped mysterious syntax declaration | changeset | files |
| Mon, 08 Feb 2010 11:01:47 +0100 | boehmes | split SMT perl script: certificate caching and invokation of remote solvers are now in separate scripts, | changeset | files |
| Sun, 07 Feb 2010 20:44:25 +0100 | wenzelm | removed paranoia setting of signal handler -- appears to be no longer necessary (thanks to Cygwin 1.7?); | changeset | files |