| Sat, 18 Nov 2023 16:58:14 +0100 |
wenzelm |
clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2023 12:26:08 +0100 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 15:37:15 +0100 |
wenzelm |
avoid option -C: free this latter for build-related configuration;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2023 16:24:07 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 20:19:57 +0200 |
wenzelm |
discontinue odd AFP partitioning: let Build_Cluster / Build_Engine do the job;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:29:34 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Tue, 08 Aug 2023 23:51:01 +0200 |
wenzelm |
proper support for Apple Silicon (ARM64);
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 13:09:15 +0200 |
wenzelm |
prefer Process_Result.RC.merge: strict treatment of interrupt;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 15 Jun 2023 17:03:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 09 Apr 2023 23:09:24 +0200 |
wenzelm |
more robust: avoid crash of Build_Log.parse_build_info / Protocol.Error_Message_Marker, e.g. in session MDP-Rewards of Isabelle/26ec258e5cf8 + AFP/2859e11cc09b;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 19:32:09 +0200 |
wenzelm |
use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 17:20:15 +0200 |
wenzelm |
clarified signature: more abstract;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 16:37:54 +0200 |
wenzelm |
clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 14:54:15 +0100 |
wenzelm |
proper Shasum.digest, to emulate old form from build_history database;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 21:40:06 +0100 |
wenzelm |
more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 21:32:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 20:58:00 +0100 |
wenzelm |
obsolete (see also d547173212d2);
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 20:50:45 +0100 |
wenzelm |
clarified names to emphasize suble differences in meaning;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 20:21:55 +0100 |
wenzelm |
prefer high-level Other_Isabelle.bash over low-level SSH.execute;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 20:13:40 +0100 |
wenzelm |
unused (see 378bb7a739c3);
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 19:47:15 +0100 |
wenzelm |
more options to manage resolved components;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 16:51:41 +0100 |
wenzelm |
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
|
file |
diff |
annotate
|
| Fri, 27 Jan 2023 15:33:21 +0100 |
wenzelm |
prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 21:10:20 +0100 |
wenzelm |
prefer Other_Isabelle.init instead of adhoc scripts;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 14:51:13 +0100 |
wenzelm |
more operations for SSH.System;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 13:38:26 +0100 |
wenzelm |
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 23:05:32 +0100 |
wenzelm |
clarified defaults: imitate "isabelle components -I" without further parameters;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 20:43:55 +0100 |
wenzelm |
clarified defaults (see also b310b93563f6);
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 19:55:33 +0100 |
wenzelm |
more formal Other_Isabelle.settings, with derived expand_path / bash_path;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 17:16:00 +0100 |
wenzelm |
removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 16:08:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 15:16:24 +0100 |
wenzelm |
more robust and uniform Other_Isabelle.scala_build;
|
file |
diff |
annotate
|
| Mon, 23 Jan 2023 16:15:45 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Mon, 23 Jan 2023 11:31:18 +0100 |
wenzelm |
tuned: drop redundant "expand";
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 22:26:50 +0100 |
wenzelm |
tuned signature: avoid aliases;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2022 21:43:26 +0200 |
wenzelm |
more thorough cleanup;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2022 21:38:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2022 21:20:55 +0200 |
wenzelm |
tuned: more robust Scala syntax;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 16:39:31 +0200 |
wenzelm |
generic support for XZ and Zstd compression in Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 11:56:38 +0200 |
wenzelm |
let rsync re-use ssh connection via control path;
|
file |
diff |
annotate
|
| Mon, 12 Sep 2022 22:52:15 +0200 |
wenzelm |
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);
|
file |
diff |
annotate
|
| Fri, 10 Jun 2022 21:05:31 +0200 |
wenzelm |
sync session images, based on accidental local state;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2022 13:53:43 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2022 23:49:54 +0200 |
wenzelm |
proper nominal_port, notably for port forwarding;
|
file |
diff |
annotate
|
| Tue, 07 Jun 2022 17:24:00 +0200 |
wenzelm |
more robust: protect_args does not work with rsync 2.x from macOS, and is not required in typical situations;
|
file |
diff |
annotate
|
| Tue, 07 Jun 2022 17:07:10 +0200 |
wenzelm |
clarified signature: more explicit type Rsync.Context;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2022 19:39:21 +0200 |
wenzelm |
removed obsolete self_update: always enabled, notably on lxbroy10 which is the only shared-home system (and still requires current isabelle_self);
|
file |
diff |
annotate
|
| Mon, 06 Jun 2022 19:19:12 +0200 |
wenzelm |
clarified remote vs. local build_history: operate on hg_sync directory instead of repository;
|
file |
diff |
annotate
|
| Tue, 31 May 2022 16:01:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 22:50:25 +0200 |
wenzelm |
more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0);
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 22:17:27 +0200 |
wenzelm |
more portable across history;
|
file |
diff |
annotate
|
| Tue, 11 May 2021 16:30:24 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
| Thu, 29 Apr 2021 22:39:33 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 23:20:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 14:03:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|