| Fri, 07 Sep 2018 17:08:47 +0200 |
wenzelm |
dump aspects asynchronously;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 20:04:51 +0200 |
wenzelm |
more detailed progress;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 18:47:31 +0200 |
wenzelm |
more robust default options, notably for node consolidation;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 18:45:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2018 22:30:08 +0200 |
wenzelm |
clarified quasi_consolidated state: ensure that exports are present for ok nodes;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 12:41:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 12 Aug 2018 14:31:46 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 12 Aug 2018 14:28:28 +0200 |
wenzelm |
proper session dirs;
Isabelle2018
|
file |
diff |
annotate
|
| Sat, 11 Aug 2018 17:28:20 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 01 Jul 2018 12:37:24 +0200 |
wenzelm |
proper error;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 11:36:31 +0200 |
wenzelm |
proper build_heap;
|
file |
diff |
annotate
|
| Sun, 24 Jun 2018 22:13:23 +0200 |
wenzelm |
disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
|
file |
diff |
annotate
|
| Mon, 11 Jun 2018 15:50:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 Jun 2018 20:37:16 +0200 |
wenzelm |
clarified signature: prefer Document.Snapshot;
|
file |
diff |
annotate
|
| Sat, 02 Jun 2018 22:11:09 +0200 |
wenzelm |
more args;
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 15:53:35 +0200 |
wenzelm |
documentation for "isabelle dump";
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 11:51:03 +0200 |
wenzelm |
more dump aspects, with options;
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 11:10:22 +0200 |
wenzelm |
clarified default: all aspects;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 17:10:02 +0200 |
wenzelm |
store Isabelle symbols in canonical form;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 14:46:04 +0200 |
wenzelm |
clarified outermost progress.interrupt_handler;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 14:34:43 +0200 |
wenzelm |
report theory progress via PIDE node status;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 18:09:08 +0200 |
wenzelm |
shutdown ML process before output: Theories_Result is timeless/stateless;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 17:45:48 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 15:04:02 +0200 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 14:38:32 +0200 |
wenzelm |
more formal dump aspects;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 22:25:10 +0200 |
wenzelm |
support to dump build database produced by PIDE session;
|
file |
diff |
annotate
|