2021-08-12 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
2021-08-07 |
wenzelm |
follow phabricator 2021 Week 26;
|
file |
diff |
annotate
|
2021-06-07 |
wenzelm |
follow Phabricator update 2021 Week 23;
|
file |
diff |
annotate
|
2021-06-07 |
wenzelm |
updated descriptions;
|
file |
diff |
annotate
|
2021-06-06 |
wenzelm |
clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
|
file |
diff |
annotate
|
2021-05-24 |
wenzelm |
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
|
file |
diff |
annotate
|
2021-05-19 |
wenzelm |
explicit option document_bibliography;
|
file |
diff |
annotate
|
2021-05-18 |
wenzelm |
option document_preprocessor;
|
file |
diff |
annotate
|
2021-05-18 |
wenzelm |
option document_logo;
|
file |
diff |
annotate
|
2021-05-17 |
wenzelm |
option document_build refers to build engine in Isabelle/Scala;
|
file |
diff |
annotate
|
2021-05-16 |
wenzelm |
ignore session build timeout, notably in AFP;
|
file |
diff |
annotate
|
2021-05-14 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|
2021-04-05 |
wenzelm |
following recent Phabricator update, after 2021 Week 13 (Late March);
|
file |
diff |
annotate
|
2021-03-05 |
wenzelm |
clarified timeouts in Isabelle/ML;
|
file |
diff |
annotate
|
2021-01-27 |
wenzelm |
follow Phabricator update 2021 Week 4;
|
file |
diff |
annotate
|
2020-12-27 |
wenzelm |
follow Phabricator update 2020 Week 42;
|
file |
diff |
annotate
|
2020-12-16 |
wenzelm |
afford more reactive input;
|
file |
diff |
annotate
|
2020-12-13 |
wenzelm |
full PIDE reports in batch build: see how it impacts overall performance;
|
file |
diff |
annotate
|
2020-11-26 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|
2020-11-21 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
2020-11-11 |
wenzelm |
clarified build_doc, based on Present.build_documents;
|
file |
diff |
annotate
|
2020-09-25 |
wenzelm |
follow Phabricator update 2020 Week 37;
|
file |
diff |
annotate
|
2020-09-01 |
wenzelm |
discontinue export_document --- always enabled (reverting f0f83ce0badd);
|
file |
diff |
annotate
|
2020-08-16 |
wenzelm |
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
|
file |
diff |
annotate
|
2020-08-12 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
2020-08-06 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
2020-07-24 |
wenzelm |
follow Phabricator update 2020 Week 27;
|
file |
diff |
annotate
|
2020-06-20 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
2020-06-20 |
wenzelm |
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
|
file |
diff |
annotate
|
2020-06-19 |
wenzelm |
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
|
file |
diff |
annotate
|
2020-06-19 |
wenzelm |
avoid redundant export handling for build;
|
file |
diff |
annotate
|
2020-06-17 |
wenzelm |
enable pide_session by default;
|
file |
diff |
annotate
|
2020-05-24 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
2020-05-18 |
wenzelm |
follow Phabricator update 2020 Week 19;
|
file |
diff |
annotate
|
2020-04-03 |
wenzelm |
less redundant markup reports;
|
file |
diff |
annotate
|
2020-04-01 |
wenzelm |
prefer system option: easier to make it default;
|
file |
diff |
annotate
|
2020-03-02 |
wenzelm |
follow Phabricator update 2020 Week 6;
|
file |
diff |
annotate
|
2020-02-08 |
wenzelm |
allow to override repository versions at runtime;
|
file |
diff |
annotate
|
2019-11-06 |
wenzelm |
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
|
file |
diff |
annotate
|
2019-11-06 |
wenzelm |
unused;
|
file |
diff |
annotate
|
2019-11-05 |
wenzelm |
more phabricator setup;
|
file |
diff |
annotate
|
2019-10-30 |
wenzelm |
MySQL setup;
|
file |
diff |
annotate
|
2019-10-30 |
wenzelm |
Apache setup;
|
file |
diff |
annotate
|
2019-10-30 |
wenzelm |
some support for Phabricator server;
|
file |
diff |
annotate
|
2019-10-20 |
wenzelm |
option to export standardized proof terms (not scalable);
|
file |
diff |
annotate
|
2019-10-07 |
wenzelm |
clarified option type;
|
file |
diff |
annotate
|
2019-10-07 |
wenzelm |
count document nodes via raw file length;
|
file |
diff |
annotate
|
2019-10-07 |
wenzelm |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
file |
diff |
annotate
|
2019-10-05 |
wenzelm |
clarified options -- more scalable;
|
file |
diff |
annotate
|
2019-10-01 |
wenzelm |
consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
|
file |
diff |
annotate
|
2019-10-01 |
wenzelm |
obsolete (see 60abd1e94168);
|
file |
diff |
annotate
|
2019-09-30 |
wenzelm |
support headless_load_limit for more scalable load process;
|
file |
diff |
annotate
|
2019-08-29 |
wenzelm |
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
|
file |
diff |
annotate
|
2019-08-26 |
wenzelm |
added system option "execution_eager": potentially reduce resource requires for "isabelle mmt_import" (smaller subgraphs are finished and disposed earlier);
|
file |
diff |
annotate
|
2019-07-22 |
wenzelm |
support export_proofs, prune_proofs;
|
file |
diff |
annotate
|
2019-05-02 |
wenzelm |
clarified PIDE markup;
|
file |
diff |
annotate
|
2019-04-11 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
2019-04-11 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
2019-03-24 |
wenzelm |
clarified spell-checking (see also 30233285270a);
|
file |
diff |
annotate
|
2019-03-01 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|