| Wed, 15 Oct 2008 15:44:15 +0200 | ballarin | Removed 'includes'. | changeset | files |
| Wed, 15 Oct 2008 00:18:43 +0200 | kleing | give more time to do inital loggin and settings read | changeset | files |
| 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 |
| Tue, 14 Oct 2008 20:10:43 +0200 | wenzelm | tuned AtpWrapper interfaces; | changeset | files |
| Tue, 14 Oct 2008 16:32:26 +0200 | haftmann | continued codegen tutorial | changeset | files |