| Thu, 16 Oct 2008 00:18:53 +0200 | kleing | only test HOL image for smlnj | changeset | files |
| Wed, 15 Oct 2008 22:12:02 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Oct 2008 21:45:02 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Oct 2008 21:15:35 +0200 | wenzelm | generic ATP manager based on threads (by Fabian Immler); | changeset | files |
| Wed, 15 Oct 2008 21:06:15 +0200 | wenzelm | added sledgehammer etc.; | changeset | files |
| Wed, 15 Oct 2008 19:43:11 +0200 | wenzelm | removed obsolete Complex sessions; | changeset | files |
| Wed, 15 Oct 2008 16:25:31 +0200 | haftmann | figure for adaption | changeset | files |
| Wed, 15 Oct 2008 16:06:59 +0200 | ballarin | Removed 'includes' (fixed). | changeset | files |
| 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 |