| Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
file |
diff |
annotate
|
| Sun, 17 Mar 2024 22:48:44 +0100 |
Fabian Huch |
allow specifying initial schedule;
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 17:00:13 +0100 |
Fabian Huch |
allow read/write of schedule in build (read via option, write from tool);
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 14:43:48 +0100 |
Fabian Huch |
remove schedule outdated limit: delay is sufficient;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2024 14:20:44 +0100 |
Fabian Huch |
more synced options (following 6e5397fcc41b);
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 17:36:35 +0100 |
wenzelm |
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 11:23:22 +0100 |
wenzelm |
proper system option, instead of hardwired default;
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 19:04:18 +0100 |
wenzelm |
prefer explicit option "build_log_verbose";
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 18:58:49 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 20:33:09 +0100 |
wenzelm |
tuned documentation;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2024 17:30:49 +0100 |
Fabian Huch |
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2024 20:55:58 +0100 |
wenzelm |
support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
|
file |
diff |
annotate
|
| Sat, 13 Jan 2024 21:51:51 +0100 |
wenzelm |
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2023 13:10:01 +0100 |
Fabian Huch |
add delay and limit options for when schedule is considered outdated;
|
file |
diff |
annotate
|
| Sun, 26 Nov 2023 14:02:27 +0100 |
wenzelm |
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 12:41:41 +0100 |
wenzelm |
obsolete (see also f627ab8c276c);
|
file |
diff |
annotate
|
| Tue, 31 Oct 2023 14:26:19 +0100 |
wenzelm |
clarified database transactions (see also 2c704ae04db1, 7bd0a250183b);
|
file |
diff |
annotate
|
| Thu, 26 Oct 2023 10:53:51 +0200 |
Fabian Huch |
use mail module in CI build;
|
file |
diff |
annotate
|
| Tue, 24 Oct 2023 18:29:53 +0200 |
Fabian Huch |
prefer Isabelle options for CI mail settings over ci.properties;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2023 20:39:28 +0200 |
wenzelm |
clarified option name (see also ff43a524aa5d);
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 14:51:07 +0200 |
wenzelm |
support for Build_Cluster.Session.init (rsync + Admin/init);
|
file |
diff |
annotate
|
| Sat, 22 Jul 2023 11:41:43 +0200 |
wenzelm |
clarified option (see also b66b6cc1eb8c);
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 16:04:59 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 13:29:18 +0200 |
wenzelm |
clarified options: accommodate potentially slow database connection;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 11:40:00 +0200 |
wenzelm |
add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 10:56:19 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 23:03:39 +0200 |
wenzelm |
more options for performance tuning;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 13:34:18 +0200 |
wenzelm |
more conservative build_delay (despite 9600720071e6): avoid exessive build_database operations, notably via ssh;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 14:11:56 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 18:30:56 +0200 |
wenzelm |
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 16:51:52 +0200 |
wenzelm |
ML_system_apple=false for more stability;
|
file |
diff |
annotate
|
| Wed, 21 Jun 2023 15:31:18 +0200 |
wenzelm |
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
|
file |
diff |
annotate
|
| Wed, 21 Jun 2023 15:20:58 +0200 |
wenzelm |
prefer system option;
|
file |
diff |
annotate
|
| Wed, 10 May 2023 15:43:49 +0200 |
wenzelm |
proper system options to control context tracing/timing;
|
file |
diff |
annotate
|
| Sun, 26 Mar 2023 15:47:40 +0200 |
wenzelm |
removed junk (amending 236e43c8bb5b);
|
file |
diff |
annotate
|
| Sun, 26 Mar 2023 12:46:15 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 15:16:17 +0100 |
wenzelm |
more thorough treatment of build prefs, guarded by system option "build_through": avoid accidental rebuild of HOL etc.;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 13:18:25 +0100 |
wenzelm |
clarified build options;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:31:58 +0100 |
wenzelm |
clarified exported options;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:13:53 +0100 |
wenzelm |
support option tags;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 16:09:22 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2023 10:26:36 +0100 |
wenzelm |
clarified system option: guard for testing, until the database layout has stabilized;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 21:05:39 +0100 |
wenzelm |
option build_hostname allows to change hostname easily;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 11:55:24 +0100 |
wenzelm |
support for build database: still inactive;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 11:07:31 +0100 |
wenzelm |
unused (see also 7b318273a4aa and a1fb4d28e609);
|
file |
diff |
annotate
|
| Tue, 21 Feb 2023 12:03:52 +0100 |
wenzelm |
support alternative build engines, via system option "build_engine";
|
file |
diff |
annotate
|
| Tue, 31 Jan 2023 17:00:33 +0100 |
wenzelm |
automatically build document when selected theories are finished;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 16:28:03 +0100 |
wenzelm |
clarified treatment of cite macro name;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 12:07:08 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 20:15:09 +0100 |
wenzelm |
basic support for update_cite_commands;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 16:23:49 +0100 |
wenzelm |
more uniform session selectors, with persistent options;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 20:27:35 +0100 |
wenzelm |
afford more reactive consolidation;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 13:33:04 +0100 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2022 13:01:06 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 13:34:54 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 10:38:52 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2022 00:24:20 +0200 |
wenzelm |
show SSH options in PIDE GUI;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 14:02:02 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|