| Wed, 15 Oct 2008 00:18:19 +0200 | kleing | log start of test session | changeset | files |
| Tue, 14 Oct 2008 20:10:45 +0200 | wenzelm | tuned interfaces -- plain prover function, without thread; | changeset | files |
| Tue, 14 Oct 2008 20:10:44 +0200 | wenzelm | add_prover: plain prover function, without thread; | changeset | files |