#
56883a40 |
|
27-Jul-2018 |
wenzelm <none@none> |
added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
|
#
7fe1580b |
|
03-Jun-2018 |
wenzelm <none@none> |
clarified signature: prefer Document.Snapshot;
|
#
731734f9 |
|
30-May-2018 |
wenzelm <none@none> |
report theory progress via PIDE node status;
|
#
6284dfda |
|
29-May-2018 |
wenzelm <none@none> |
tuned signature;
|
#
8b383b78 |
|
29-May-2018 |
wenzelm <none@none> |
more operations; more output;
|
#
d356811f |
|
07-May-2018 |
wenzelm <none@none> |
return exports as result for Isabelle server;
|
#
b0075633 |
|
24-Mar-2018 |
wenzelm <none@none> |
clarified signature;
|
#
aa6f7509 |
|
24-Mar-2018 |
wenzelm <none@none> |
session tmp_dir is default master_dir;
|
#
a48009dc |
|
24-Mar-2018 |
wenzelm <none@none> |
tuned output;
|
#
d40e1790 |
|
24-Mar-2018 |
wenzelm <none@none> |
clarified theory node name; purge_theories: return purged, retained; tuned documentation;
|
#
5bad089d |
|
23-Mar-2018 |
wenzelm <none@none> |
clarified signature -- eliminated somewhat pointless positions;
|
#
1b63c39a |
|
23-Mar-2018 |
wenzelm <none@none> |
clarified signature -- more like use_theories;
|
#
a907b754 |
|
23-Mar-2018 |
wenzelm <none@none> |
support for purge_theories;
|
#
cd4bd741 |
|
22-Mar-2018 |
wenzelm <none@none> |
provide tmp_dir for server session;
|
#
5485c315 |
|
22-Mar-2018 |
wenzelm <none@none> |
clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;
|
#
fcf465a9 |
|
17-Mar-2018 |
wenzelm <none@none> |
fewer messages;
|
#
b71dca38 |
|
17-Mar-2018 |
wenzelm <none@none> |
output result messages;
|
#
d0bde5f5 |
|
17-Mar-2018 |
wenzelm <none@none> |
more robust check_state loop, even without session activity (e.g. idempotent use_theories);
|
#
571c3653 |
|
17-Mar-2018 |
wenzelm <none@none> |
synchronized Session.update;
|
#
1a02bb2f |
|
17-Mar-2018 |
wenzelm <none@none> |
more interruptible use_theories; tuned comments;
|
#
ef0e764a |
|
17-Mar-2018 |
wenzelm <none@none> |
tuned;
|
#
b5f4f47c |
|
17-Mar-2018 |
wenzelm <none@none> |
more interruptible; tuned signature;
|
#
b1d26ec7 |
|
17-Mar-2018 |
wenzelm <none@none> |
unload_theories: actually observe required state; misc tuning and clarification;
|
#
78683d71 |
|
16-Mar-2018 |
wenzelm <none@none> |
prefer typed UUID;
|
#
2809e7a5 |
|
16-Mar-2018 |
wenzelm <none@none> |
unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
|
#
9e72faf0 |
|
16-Mar-2018 |
wenzelm <none@none> |
support for "use_theories";
|
#
101e0531 |
|
16-Mar-2018 |
wenzelm <none@none> |
interruptible exploration of dependencies;
|
#
a1cf9099 |
|
16-Mar-2018 |
wenzelm <none@none> |
clarified signature;
|
#
fbdbe160 |
|
16-Mar-2018 |
wenzelm <none@none> |
tuned message;
|
#
1ee8b3b9 |
|
15-Mar-2018 |
wenzelm <none@none> |
support for "session_start";
|
#
80dd5a58 |
|
13-Mar-2018 |
wenzelm <none@none> |
allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
|
#
2ee8a2f3 |
|
12-Nov-2017 |
wenzelm <none@none> |
synchronous use_theories, based on consolidated_state;
|
#
9a1be669 |
|
12-Nov-2017 |
wenzelm <none@none> |
clarified modules;
|
#
0b1d28de |
|
12-Nov-2017 |
wenzelm <none@none> |
optional session_base, e.g. from existing Sessions.Deps in build.scala;
|
#
ebfac25a |
|
12-Nov-2017 |
wenzelm <none@none> |
synchronous session start (similar to isabelle.vscode.Server);
|
#
7f60e9bb |
|
12-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
#
55da78fd |
|
12-Nov-2017 |
wenzelm <none@none> |
simplified: eliminated pointless Thy_Document_Model;
|
#
b632ff73 |
|
12-Nov-2017 |
wenzelm <none@none> |
theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
|
#
4ad864ba |
|
12-Nov-2017 |
wenzelm <none@none> |
load theories via PIDE document update; theory nodes are always required;
|
#
b8399b51 |
|
12-Nov-2017 |
wenzelm <none@none> |
PIDE resources for theory files;
|