| 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 |
| Tue, 14 Oct 2008 13:01:56 +0200 | wenzelm | added value; | changeset | files |
| Tue, 14 Oct 2008 13:01:52 +0200 | wenzelm | simplified synchronized variable access; | changeset | files |