| Wed, 25 Jul 2007 22:20:50 +0200 |
wenzelm |
added attribute "option" for setting configuration options;
|
changeset |
files
|
| Wed, 25 Jul 2007 22:20:49 +0200 |
wenzelm |
Configuration options as values within the local context.
|
changeset |
files
|
| Wed, 25 Jul 2007 22:20:48 +0200 |
wenzelm |
added config.ML;
|
changeset |
files
|
| Wed, 25 Jul 2007 22:20:47 +0200 |
wenzelm |
NAMED_CRITICAL;
|
changeset |
files
|
| Wed, 25 Jul 2007 18:10:49 +0200 |
nipkow |
fixed broken proof
|
changeset |
files
|
| Wed, 25 Jul 2007 18:10:28 +0200 |
nipkow |
Added lemmas
|
changeset |
files
|
| Wed, 25 Jul 2007 17:05:50 +0200 |
wenzelm |
require_thy/schedule: improved task graph, actually observe dependencies on running tasks;
|
changeset |
files
|
| Wed, 25 Jul 2007 17:05:49 +0200 |
wenzelm |
added trace flag, official tracing operation;
|
changeset |
files
|
| Wed, 25 Jul 2007 17:05:48 +0200 |
wenzelm |
added structure Task;
|
changeset |
files
|
| Wed, 25 Jul 2007 17:05:47 +0200 |
wenzelm |
Secure.use_noncritical root;
|
changeset |
files
|
| Wed, 25 Jul 2007 17:05:45 +0200 |
wenzelm |
added use_noncritical;
|
changeset |
files
|
| Wed, 25 Jul 2007 10:19:01 +0200 |
ballarin |
tuned
|
changeset |
files
|
| Tue, 24 Jul 2007 23:55:28 +0200 |
wenzelm |
fixed proofs involving dvd;
|
changeset |
files
|
| Tue, 24 Jul 2007 22:59:53 +0200 |
wenzelm |
*** empty log message ***
|
changeset |
files
|