| Fri, 28 Dec 2018 16:58:27 +0100 |
wenzelm |
clarified sessions_deps, according to Isabelle/MMT usage;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 17:15:40 +0100 |
wenzelm |
tuned signature: for other dump-like tools;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:59:55 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:32:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:56:53 +0100 |
wenzelm |
clarified defaults via system options;
|
file |
diff |
annotate
|
| Tue, 02 Oct 2018 19:02:47 +0200 |
wenzelm |
unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 14:24:53 +0200 |
wenzelm |
proper return code for runtime failure;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 13:22:43 +0200 |
wenzelm |
clarified errors: no result from forced session.stop, check pending theories;
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 16:47:03 +0200 |
wenzelm |
suppress some theories to allow "isabelle dump -o skip_proofs";
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 14:31:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 23:07:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 11:14:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 11:05:14 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 22:10:58 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 21:50:14 +0200 |
wenzelm |
more detailed session dependencies, with conditions for theories;
|
file |
diff |
annotate
|
| Wed, 12 Sep 2018 20:58:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 22:21:19 +0200 |
wenzelm |
implicit use of NUMA policy, absorbing potential errors;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 21:48:26 +0200 |
wenzelm |
more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 14:30:31 +0200 |
wenzelm |
more accurate output;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 13:36:40 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 13:22:23 +0200 |
wenzelm |
more accurate output;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:34:11 +0200 |
wenzelm |
support for watchdog_timeout;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:18:15 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:01:22 +0200 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 11:44:47 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 23:47:26 +0200 |
wenzelm |
continuously clean frontier of already committed theories: much less resource requirements;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:27:28 +0200 |
wenzelm |
clarified error progress and error_rc;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:18:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:11:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 17:08:47 +0200 |
wenzelm |
dump aspects asynchronously;
|
file |
diff |
annotate
|