| Wed, 25 Nov 2020 12:55:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 25 Nov 2020 12:52:00 +0100 |
wenzelm |
clarified document_output vs. progress;
|
changeset |
files
|
| Wed, 25 Nov 2020 12:34:08 +0100 |
wenzelm |
clarified: more uniform;
|
changeset |
files
|
| Tue, 24 Nov 2020 16:49:42 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
| Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
changeset |
files
|
| Mon, 23 Nov 2020 16:18:22 +0100 |
wenzelm |
clarified messages;
|
changeset |
files
|
| Mon, 23 Nov 2020 16:02:04 +0100 |
wenzelm |
unused (see ac7ae5067783, 1c451e5c145f);
|
changeset |
files
|
| Mon, 23 Nov 2020 15:34:35 +0100 |
wenzelm |
unused;
|
changeset |
files
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
changeset |
files
|
| Mon, 23 Nov 2020 13:52:14 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 23 Nov 2020 13:37:10 +0100 |
wenzelm |
proper output of document sources (cf. d892f6d66402);
|
changeset |
files
|
| Tue, 24 Nov 2020 19:49:59 +0100 |
desharna |
proper parsing of TSTP HOL lines
|
changeset |
files
|