#
ee9fa313 |
|
14-Oct-2019 |
wenzelm <none@none> |
clarified count_file;
|
#
de949e86 |
|
14-Oct-2019 |
wenzelm <none@none> |
clarified modules;
|
#
90e5dc55 |
|
07-Oct-2019 |
wenzelm <none@none> |
clarified option type;
|
#
85ad1590 |
|
07-Oct-2019 |
wenzelm <none@none> |
count document nodes via raw file length;
|
#
f670c477 |
|
07-Oct-2019 |
wenzelm <none@none> |
clarified Load_State / load_limit;
|
#
92e19fdd |
|
07-Oct-2019 |
wenzelm <none@none> |
clarified Load_State;
|
#
1460ffa6 |
|
07-Oct-2019 |
wenzelm <none@none> |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
#
c412eb3b |
|
07-Oct-2019 |
wenzelm <none@none> |
count nodes uniformly: avoid overloaded session;
|
#
3c5d4dda |
|
07-Oct-2019 |
wenzelm <none@none> |
clarified signature;
|
#
7ebe1d8f |
|
05-Oct-2019 |
wenzelm <none@none> |
clarified options -- more scalable;
|
#
9768fd7a |
|
02-Oct-2019 |
wenzelm <none@none> |
prefer atomic edits -- potentially more robust;
|
#
80c32c33 |
|
02-Oct-2019 |
wenzelm <none@none> |
clarified signature -- potentially more robust;
|
#
f7055549 |
|
01-Oct-2019 |
wenzelm <none@none> |
more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
|
#
d6e674b4 |
|
30-Sep-2019 |
wenzelm <none@none> |
clarified share_common_data: after finished checkpoint, before next edits;
|
#
83b18d31 |
|
30-Sep-2019 |
wenzelm <none@none> |
support headless_load_limit for more scalable load process;
|
#
2b235914 |
|
30-Sep-2019 |
wenzelm <none@none> |
tuned message;
|
#
f13f234a |
|
29-Sep-2019 |
wenzelm <none@none> |
clarified incremental loading: requirements based on maximal nodes;
|
#
0ce9e597 |
|
30-Sep-2019 |
wenzelm <none@none> |
tuned signature;
|
#
8bd0bc00 |
|
30-Sep-2019 |
wenzelm <none@none> |
tuned;
|
#
3e3e1c29 |
|
29-Sep-2019 |
wenzelm <none@none> |
tuned message;
|
#
c0b38989 |
|
29-Sep-2019 |
wenzelm <none@none> |
more explicit type Load_State;
|
#
3fcc98ac |
|
27-Sep-2019 |
wenzelm <none@none> |
tuned messages (again) -- avoid confusion wrt. total remaining size;
|
#
3f2b1e56 |
|
15-Sep-2019 |
wenzelm <none@none> |
tuned message;
|
#
6ea2de74 |
|
15-Sep-2019 |
wenzelm <none@none> |
tuned;
|
#
1b4e5324 |
|
15-Sep-2019 |
wenzelm <none@none> |
clarified theory status;
|
#
a32a2edf |
|
15-Sep-2019 |
wenzelm <none@none> |
tuned messages;
|
#
69d77c2b |
|
15-Sep-2019 |
wenzelm <none@none> |
tuned signature;
|
#
c45188eb |
|
15-Sep-2019 |
wenzelm <none@none> |
proper clean_theories wrt. dynamic dep_graph;
|
#
327551ea |
|
15-Sep-2019 |
wenzelm <none@none> |
tuned signature;
|
#
1011ebaf |
|
12-Sep-2019 |
wenzelm <none@none> |
find theory files via session structure: much faster Prover IDE startup;
|
#
b0dd1f09 |
|
08-Sep-2019 |
wenzelm <none@none> |
clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories);
|
#
2b319e57 |
|
06-Sep-2019 |
wenzelm <none@none> |
proper finished_theory status for result;
|
#
e4fedc7c |
|
04-Sep-2019 |
wenzelm <none@none> |
load theories in stages, to reduce ML heap requirements;
|
#
6ecf4a97 |
|
03-Sep-2019 |
wenzelm <none@none> |
clarified signature;
|
#
0a62e630 |
|
03-Sep-2019 |
wenzelm <none@none> |
tuned important special case;
|
#
bc4ada5a |
|
03-Sep-2019 |
wenzelm <none@none> |
tuned signature;
|
#
b800dbaa |
|
03-Sep-2019 |
wenzelm <none@none> |
clarified state variable: avoid extra mutability via Promise;
|
#
29942f1c |
|
02-Sep-2019 |
wenzelm <none@none> |
more explicit type Dump.Session, with context information;
|
#
ba0828fb |
|
02-Sep-2019 |
wenzelm <none@none> |
clarified signature: prefer operations without position;
|
#
7b4d39f0 |
|
02-Sep-2019 |
wenzelm <none@none> |
prefer Theory_Ordering theory names are unique (due to proper session context);
|
#
728b859b |
|
01-Sep-2019 |
wenzelm <none@none> |
clarified signature: full dependency graph;
|
#
0bba5a70 |
|
28-Aug-2019 |
wenzelm <none@none> |
support for share_common_data after define_command and before actual update: this affects string particles of command tokens;
|
#
c4a93be7 |
|
18-Mar-2019 |
wenzelm <none@none> |
support unicode_symbols in input source;
|
#
1f65ea8f |
|
03-Mar-2019 |
wenzelm <none@none> |
clarified signature; suppress already loaded theories;
|
#
c2a7dbeb |
|
27-Feb-2019 |
wenzelm <none@none> |
tuned;
|
#
b362a049 |
|
18-Feb-2019 |
wenzelm <none@none> |
more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
|
#
de13e1d4 |
|
17-Feb-2019 |
wenzelm <none@none> |
clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
|
#
e711e352 |
|
05-Jan-2019 |
wenzelm <none@none> |
proper session base foundations (amending e848328cb2c1);
|
#
fdd46a61 |
|
31-Dec-2018 |
wenzelm <none@none> |
include loaded_files as doc_blobs (without purging);
|
#
78ebad65 |
|
29-Dec-2018 |
wenzelm <none@none> |
clarified signature, notably cascade of dump_options, deps, resources, session;
|
#
1a6d18ee |
|
29-Dec-2018 |
wenzelm <none@none> |
clarified signature;
|
#
53119623 |
|
27-Dec-2018 |
wenzelm <none@none> |
clarified defaults via system options;
|
#
f72bf743 |
|
13-Dec-2018 |
wenzelm <none@none> |
clarified modules and signature;
|
#
481b9d82 |
|
07-Nov-2018 |
wenzelm <none@none> |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
#
6573d6b1 |
|
22-Sep-2018 |
wenzelm <none@none> |
proper status after commit;
|
#
6d23f0fc |
|
22-Sep-2018 |
wenzelm <none@none> |
clarified errors: no result from forced session.stop, check pending theories;
|
#
ffeb5f88 |
|
18-Sep-2018 |
wenzelm <none@none> |
tuned signature;
|
#
ba6062e5 |
|
18-Sep-2018 |
wenzelm <none@none> |
clarified modules; --HG-- rename : src/Pure/Thy/thy_resources.scala => src/Pure/PIDE/headless.scala
|