| 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 |
| Tue, 14 Oct 2008 16:01:36 +0200 | wenzelm | renamed AtpThread to AtpWrapper; | changeset | files |
| Tue, 14 Oct 2008 15:45:46 +0200 | wenzelm | adding preferences is now permissive; | changeset | files |