| Thu, 16 Oct 2008 17:07:20 +0200 | ballarin | Removed outdated locales tutorial. | changeset | files |
| Thu, 16 Oct 2008 08:51:05 +0200 | haftmann | correct rounding | changeset | files |
| Thu, 16 Oct 2008 08:48:27 +0200 | haftmann | circumvent some TeX problem | changeset | files |
| 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 |
| 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 |
| Tue, 14 Oct 2008 13:24:07 +0200 | nipkow | added lemma | changeset | files |
| Tue, 14 Oct 2008 13:23:31 +0200 | nipkow | Added liveness analysis | changeset | files |
| Tue, 14 Oct 2008 13:01:58 +0200 | wenzelm | info: back to plain printing; | changeset | files |
| Tue, 14 Oct 2008 13:01:57 +0200 | wenzelm | added min_elem, upto; | changeset | files |