| Wed, 18 Aug 2021 16:13:40 +0200 |
wenzelm |
consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
|
changeset |
files
|
| Mon, 16 Aug 2021 23:07:01 +0200 |
desharna |
merged
|
changeset |
files
|
| Mon, 16 Aug 2021 13:00:55 +0200 |
desharna |
fixed $ite syntax in TPTP THX generation
|
changeset |
files
|
| Mon, 16 Aug 2021 11:49:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 16 Aug 2021 11:24:12 +0200 |
wenzelm |
more scalable data structures;
|
changeset |
files
|
| Mon, 16 Aug 2021 11:22:22 +0200 |
wenzelm |
more scalable data structures;
|
changeset |
files
|
| Mon, 16 Aug 2021 11:21:54 +0200 |
wenzelm |
more scalable data structures;
|
changeset |
files
|
| Sun, 15 Aug 2021 15:26:09 +0200 |
wenzelm |
proper position information for Context.theory_data_size;
|
changeset |
files
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
changeset |
files
|
| Thu, 12 Aug 2021 13:55:45 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 12 Aug 2021 13:19:56 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 12 Aug 2021 13:14:49 +0200 |
wenzelm |
proper prover_options for batch-build;
|
changeset |
files
|