| #
5ea4195f |
|
12-Aug-2018 |
wenzelm <none@none> |
proper session dirs;
|
| #
22977237 |
|
30-Jun-2018 |
wenzelm <none@none> |
proper error;
|
| #
cc45b479 |
|
29-Jun-2018 |
wenzelm <none@none> |
proper build_heap;
|
| #
c63366c9 |
|
24-Jun-2018 |
wenzelm <none@none> |
disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
|
| #
438fd006 |
|
11-Jun-2018 |
wenzelm <none@none> |
tuned signature;
|
| #
7fe1580b |
|
03-Jun-2018 |
wenzelm <none@none> |
clarified signature: prefer Document.Snapshot;
|
| #
6f0021e1 |
|
02-Jun-2018 |
wenzelm <none@none> |
more args;
|
| #
d4a83481 |
|
01-Jun-2018 |
wenzelm <none@none> |
documentation for "isabelle dump";
|
| #
7d6cf173 |
|
01-Jun-2018 |
wenzelm <none@none> |
more dump aspects, with options;
tuned signature;
|
| #
30a0b920 |
|
01-Jun-2018 |
wenzelm <none@none> |
clarified default: all aspects;
|
| #
224c1fd1 |
|
30-May-2018 |
wenzelm <none@none> |
store Isabelle symbols in canonical form;
tuned signature;
|
| #
c86a343f |
|
30-May-2018 |
wenzelm <none@none> |
clarified outermost progress.interrupt_handler;
|
| #
731734f9 |
|
30-May-2018 |
wenzelm <none@none> |
report theory progress via PIDE node status;
|
| #
42462f24 |
|
29-May-2018 |
wenzelm <none@none> |
shutdown ML process before output: Theories_Result is timeless/stateless;
|
| #
8b383b78 |
|
29-May-2018 |
wenzelm <none@none> |
more operations;
more output;
|
| #
70e6f5ab |
|
29-May-2018 |
wenzelm <none@none> |
more accurate dependencies;
tuned;
|
| #
c0c589ac |
|
29-May-2018 |
wenzelm <none@none> |
more formal dump aspects;
support output dir;
|
| #
ad428fe3 |
|
28-May-2018 |
wenzelm <none@none> |
support to dump build database produced by PIDE session;
|