| Wed, 01 Aug 2007 16:55:39 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Wed, 01 Aug 2007 16:55:37 +0200 |
wenzelm |
tuned config options: eliminated separate attribute "option";
|
changeset |
files
|
| Wed, 01 Aug 2007 16:50:16 +0200 |
wenzelm |
oops -- fixed syntax;
|
changeset |
files
|
| Wed, 01 Aug 2007 16:48:47 +0200 |
wenzelm |
"running": PROTECTED wakeup;
|
changeset |
files
|
| Tue, 31 Jul 2007 23:23:34 +0200 |
wenzelm |
proper path specifications;
|
changeset |
files
|
| Tue, 31 Jul 2007 23:23:28 +0200 |
wenzelm |
simultaneous use_thys;
|
changeset |
files
|
| Tue, 31 Jul 2007 22:21:22 +0200 |
wenzelm |
setmp_noncritical print_mode;
|
changeset |
files
|
| Tue, 31 Jul 2007 22:21:20 +0200 |
wenzelm |
simultaneous use_thys;
|
changeset |
files
|
| Tue, 31 Jul 2007 22:21:18 +0200 |
wenzelm |
removed obsolete HOL/Real/ROOT.ML;
|
changeset |
files
|
| Tue, 31 Jul 2007 21:19:24 +0200 |
wenzelm |
no_document: setmp_noncritical;
|
changeset |
files
|
| Tue, 31 Jul 2007 21:19:23 +0200 |
wenzelm |
with_charset: setmp_noncritical;
|
changeset |
files
|
| Tue, 31 Jul 2007 21:19:22 +0200 |
wenzelm |
added max-threads preference;
|
changeset |
files
|
| Tue, 31 Jul 2007 21:19:21 +0200 |
wenzelm |
replaced depth_limit ref by blast_depth_limit configuration option;
|
changeset |
files
|
| Tue, 31 Jul 2007 21:19:20 +0200 |
wenzelm |
replaced dtK ref by datatype_distinctness_limit configuration option;
|
changeset |
files
|
| Tue, 31 Jul 2007 21:19:18 +0200 |
wenzelm |
moved classical tools from theory IFOL to FOL;
|
changeset |
files
|
| Tue, 31 Jul 2007 19:40:28 +0200 |
wenzelm |
register_thy: more sanity checks;
|
changeset |
files
|