| Sat, 25 May 2024 17:22:05 +0200 |
wenzelm |
more general dirs for Sync.sync;
|
file |
diff |
annotate
|
| Fri, 24 May 2024 20:23:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 12:50:37 +0100 |
wenzelm |
proper services for Setup_Tool --- avoid hardwired stuff;
|
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 13:05:01 +0100 |
wenzelm |
more accurate progress.now(), notably for Database_Progress;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2024 19:59:35 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 13:32:44 +0100 |
wenzelm |
clarified signature: emphasize physical db files;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2024 21:35:28 +0100 |
wenzelm |
more robust (amending c9774306a879);
|
file |
diff |
annotate
|
| Tue, 30 Jan 2024 17:35:42 +0100 |
wenzelm |
allow remote_build on this host (server-arm), without conflicts of this "isabelle_self";
|
file |
diff |
annotate
|
| 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
|