| 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
|