| Wed, 17 Nov 2021 20:49:09 +0100 |
wenzelm |
clarified HTML_Context.theory_exports: prefer value-oriented parallelism;
|
changeset |
files
|
| Wed, 17 Nov 2021 15:09:10 +0100 |
fleury |
generate problems with correct logic for veriT
|
changeset |
files
|
| Wed, 17 Nov 2021 17:11:57 +0100 |
wenzelm |
more parallelism, at the cost of potential duplicates of make_thy;
|
changeset |
files
|
| Wed, 17 Nov 2021 15:54:11 +0100 |
wenzelm |
afford more parallelism for sessions (instead of theories in 5eac4b13d1f1): depend on disjoint data areas (notably base.session_theories in 2ad892ac749a);
|
changeset |
files
|
| Wed, 17 Nov 2021 15:46:35 +0100 |
wenzelm |
more interrupts;
|
changeset |
files
|
| Wed, 17 Nov 2021 15:23:15 +0100 |
wenzelm |
present only selected session theories (as in Isabelle2021), in contrast to 2bc24136bdeb, eb89b3a37826;
|
changeset |
files
|
| Wed, 17 Nov 2021 13:11:58 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 17 Nov 2021 12:55:02 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Wed, 17 Nov 2021 12:28:07 +0100 |
wenzelm |
tuned (see also e0d1d9203275);
|
changeset |
files
|
| Wed, 17 Nov 2021 12:10:48 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 17 Nov 2021 11:57:34 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 16 Nov 2021 22:38:34 +0100 |
wenzelm |
spelling;
|
changeset |
files
|
| Thu, 25 Nov 2021 14:02:51 +0100 |
desharna |
added asymp_{less,greater} to preorder and moved mult1_lessE out
|
changeset |
files
|
| Thu, 25 Nov 2021 12:19:50 +0100 |
desharna |
renamed multp_code_iff and multeqp_code_iff
|
changeset |
files
|