| 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
|
| 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
|
| Tue, 14 Oct 2008 15:45:45 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 14 Oct 2008 15:45:44 +0200 |
wenzelm |
adding preferences is now permissive, no error handling here;
|
changeset |
files
|
| Tue, 14 Oct 2008 15:16:13 +0200 |
wenzelm |
CRITICAL access to preferences;
|
changeset |
files
|
| Tue, 14 Oct 2008 15:16:12 +0200 |
wenzelm |
export generic_pref etc.;
|
changeset |
files
|
| Tue, 14 Oct 2008 15:16:11 +0200 |
wenzelm |
renamed kill_all to kill, in conformance with atp_kill command;
|
changeset |
files
|
| Tue, 14 Oct 2008 15:16:09 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|