etc/options
Sun, 06 Nov 2022 20:27:35 +0100 wenzelm afford more reactive consolidation;
Sun, 06 Nov 2022 15:28:56 +0100 wenzelm afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
Fri, 04 Nov 2022 13:33:04 +0100 wenzelm clarified options;
Wed, 12 Oct 2022 13:01:06 +0200 wenzelm tuned comment;
Wed, 12 Oct 2022 11:15:36 +0200 wenzelm support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
Tue, 27 Sep 2022 13:34:54 +0200 wenzelm clarified options;
Thu, 22 Sep 2022 10:38:52 +0200 wenzelm tuned comments;
Sun, 18 Sep 2022 00:24:20 +0200 wenzelm show SSH options in PIDE GUI;
Fri, 16 Sep 2022 14:02:02 +0200 wenzelm clarified options;
Fri, 16 Sep 2022 12:49:04 +0200 wenzelm clarified options;
Thu, 15 Sep 2022 21:37:17 +0200 wenzelm discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
Wed, 14 Sep 2022 14:59:01 +0200 wenzelm support port forwarding without multiplexing (for the sake of Windows);
Mon, 12 Sep 2022 23:26:21 +0200 wenzelm obsolete;
Fri, 09 Sep 2022 14:03:29 +0200 wenzelm discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);
Thu, 08 Sep 2022 20:46:22 +0200 wenzelm enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a);
Tue, 06 Sep 2022 12:44:02 +0200 wenzelm option "show_states" for more verbosity of batch-builds;
Mon, 05 Sep 2022 22:47:09 +0200 wenzelm clarified options, following e.g. "show_consts";
Fri, 02 Sep 2022 23:19:02 +0200 wenzelm proper description;
Wed, 24 Nov 2021 22:57:33 +0100 wenzelm option document_comment_latex supports e.g. Dagstuhl LIPIcs;
Sun, 21 Nov 2021 17:42:11 +0100 wenzelm clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
Sat, 20 Nov 2021 18:58:23 +0100 wenzelm Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.;
Mon, 08 Nov 2021 16:48:42 +0100 wenzelm discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
Mon, 08 Nov 2021 13:51:24 +0100 wenzelm clarified messages, depending on option "document_echo";
Thu, 12 Aug 2021 14:18:46 +0200 wenzelm provide bash_process server for Isabelle/ML and other external programs;
Sat, 07 Aug 2021 15:20:08 +0200 wenzelm follow phabricator 2021 Week 26;
Mon, 07 Jun 2021 15:13:34 +0200 wenzelm follow Phabricator update 2021 Week 23;
Mon, 07 Jun 2021 13:04:17 +0200 wenzelm updated descriptions;
Sun, 06 Jun 2021 20:29:52 +0200 wenzelm clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
Mon, 24 May 2021 11:58:06 +0200 wenzelm clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
Wed, 19 May 2021 13:19:37 +0200 wenzelm explicit option document_bibliography;
Tue, 18 May 2021 22:02:21 +0200 wenzelm option document_preprocessor;
Tue, 18 May 2021 15:17:55 +0200 wenzelm option document_logo;
Mon, 17 May 2021 23:30:25 +0200 wenzelm option document_build refers to build engine in Isabelle/Scala;
Sun, 16 May 2021 13:14:16 +0200 wenzelm ignore session build timeout, notably in AFP;
Fri, 14 May 2021 21:32:11 +0200 wenzelm reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
Mon, 05 Apr 2021 22:45:01 +0200 wenzelm following recent Phabricator update, after 2021 Week 13 (Late March);
Fri, 05 Mar 2021 17:29:49 +0100 wenzelm clarified timeouts in Isabelle/ML;
Wed, 27 Jan 2021 13:44:08 +0100 wenzelm follow Phabricator update 2021 Week 4;
Sun, 27 Dec 2020 14:08:35 +0100 wenzelm follow Phabricator update 2020 Week 42;
Wed, 16 Dec 2020 15:44:17 +0100 wenzelm afford more reactive input;
Sun, 13 Dec 2020 12:57:58 +0100 wenzelm full PIDE reports in batch build: see how it impacts overall performance;
Thu, 26 Nov 2020 17:23:33 +0100 wenzelm clarified options: batch-build has pide_reports disabled by default (requires significant resources);
Sat, 21 Nov 2020 17:12:17 +0100 wenzelm clarified document output;
Wed, 11 Nov 2020 22:20:57 +0100 wenzelm clarified build_doc, based on Present.build_documents;
Fri, 25 Sep 2020 16:32:41 +0200 wenzelm follow Phabricator update 2020 Week 37;
Tue, 01 Sep 2020 18:03:17 +0200 wenzelm discontinue export_document --- always enabled (reverting f0f83ce0badd);
Sun, 16 Aug 2020 22:02:11 +0200 wenzelm upgrade phabricator: Promote 2020 Week 31 + subsequent change;
Wed, 12 Aug 2020 11:26:01 +0200 wenzelm removed pointless option "ML_statistics": always enabled;
Thu, 06 Aug 2020 22:43:40 +0200 wenzelm discontinued old batch-build functionality;
Fri, 24 Jul 2020 20:43:32 +0200 wenzelm follow Phabricator update 2020 Week 27;
Sat, 20 Jun 2020 22:35:24 +0200 wenzelm enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
Sat, 20 Jun 2020 11:01:57 +0200 wenzelm removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
Fri, 19 Jun 2020 18:29:37 +0200 wenzelm back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
Fri, 19 Jun 2020 16:12:32 +0200 wenzelm avoid redundant export handling for build;
Wed, 17 Jun 2020 20:42:52 +0200 wenzelm enable pide_session by default;
Sun, 24 May 2020 12:43:04 +0200 wenzelm clarified name;
Mon, 18 May 2020 12:59:01 +0200 wenzelm follow Phabricator update 2020 Week 19;
Fri, 03 Apr 2020 17:35:10 +0200 wenzelm less redundant markup reports;
Wed, 01 Apr 2020 21:10:44 +0200 wenzelm prefer system option: easier to make it default;
Mon, 02 Mar 2020 15:33:58 +0100 wenzelm follow Phabricator update 2020 Week 6;
less more (0) -100 -60 tip