| 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
|
| Mon, 13 Oct 2008 15:48:40 +0200 |
wenzelm |
State variables with synchronized access.
|
changeset |
files
|
| Mon, 13 Oct 2008 15:48:39 +0200 |
wenzelm |
added generic combinator for synchronized evaluation (formerly in future.ML);
|
changeset |
files
|
| Mon, 13 Oct 2008 15:48:38 +0200 |
wenzelm |
simplified implementation using Synchronized.var;
|
changeset |
files
|
| Mon, 13 Oct 2008 15:48:37 +0200 |
wenzelm |
SimpleThread.synchronized;
|
changeset |
files
|
| Mon, 13 Oct 2008 15:48:36 +0200 |
wenzelm |
added Concurrent/synchronized.ML;
|
changeset |
files
|
| Mon, 13 Oct 2008 14:04:53 +0200 |
wenzelm |
** Update from Fabian **
|
changeset |
files
|