src/Pure/Admin/other_isabelle.scala
Sat, 28 Jan 2023 20:50:45 +0100 wenzelm clarified names to emphasize suble differences in meaning;
Sat, 28 Jan 2023 16:51:41 +0100 wenzelm proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
Sat, 28 Jan 2023 16:26:58 +0100 wenzelm tuned comments;
Wed, 25 Jan 2023 20:42:24 +0100 wenzelm clean components more accurately: purge other platforms or archives;
Wed, 25 Jan 2023 15:26:23 +0100 wenzelm clarified signature;
Wed, 25 Jan 2023 15:18:06 +0100 wenzelm tuned;
Wed, 25 Jan 2023 14:58:34 +0100 wenzelm manage other Isabelle distributions via SSH;
Wed, 25 Jan 2023 13:16:43 +0100 wenzelm clarified parameters (again);
Tue, 24 Jan 2023 23:05:32 +0100 wenzelm clarified defaults: imitate "isabelle components -I" without further parameters;
Tue, 24 Jan 2023 22:48:28 +0100 wenzelm tuned;
Tue, 24 Jan 2023 21:27:10 +0100 wenzelm more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted;
Tue, 24 Jan 2023 20:39:11 +0100 wenzelm tuned comments;
Tue, 24 Jan 2023 20:05:23 +0100 wenzelm discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a;
Tue, 24 Jan 2023 19:55:33 +0100 wenzelm more formal Other_Isabelle.settings, with derived expand_path / bash_path;
Tue, 24 Jan 2023 18:26:20 +0100 wenzelm tuned;
Tue, 24 Jan 2023 17:16:00 +0100 wenzelm removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);
Tue, 24 Jan 2023 15:53:13 +0100 wenzelm more robust: self-contained Other_Isabelle.isabelle_home;
Tue, 24 Jan 2023 15:16:24 +0100 wenzelm more robust and uniform Other_Isabelle.scala_build;
Tue, 24 Jan 2023 15:00:01 +0100 wenzelm tuned;
Tue, 24 Jan 2023 14:46:51 +0100 wenzelm more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts;
Mon, 23 Jan 2023 16:15:45 +0100 wenzelm clarified defaults;
Mon, 23 Jan 2023 11:12:02 +0100 wenzelm tuned;
Sun, 22 Jan 2023 22:26:50 +0100 wenzelm tuned signature: avoid aliases;
Sun, 22 Jan 2023 21:58:04 +0100 wenzelm tuned;
Sun, 22 Jan 2023 21:55:24 +0100 wenzelm tuned signature;
Sun, 22 Jan 2023 21:52:58 +0100 wenzelm clarified modules (again, in contrast to f8f065e20837);
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Thu, 15 Jul 2021 17:33:06 +0200 wenzelm more robust: avoid duplicate classpath entries;
Thu, 15 Jul 2021 16:35:45 +0200 wenzelm build.props for isabelle.jar, including isabelle.jedit;
Tue, 04 May 2021 20:02:08 +0200 wenzelm misc tuning and clarification: more explicit types Release_Context, Release_Archive;
Wed, 31 Mar 2021 22:10:56 +0200 wenzelm tuned signature -- more explicit types;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 27 Feb 2021 18:04:29 +0100 wenzelm clarified modules: more like ML;
Fri, 12 Feb 2021 12:13:24 +0100 wenzelm more robust: resolve historic components via current tool to access current server;
Tue, 09 Feb 2021 14:13:03 +0100 wenzelm more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Tue, 07 Apr 2020 21:49:36 +0200 wenzelm clarified signature: more uniform treatment of stopped/interrupted state;
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Sun, 09 Dec 2018 12:09:54 +0100 wenzelm clarified settings and defaults;
Thu, 06 Dec 2018 00:24:21 +0100 wenzelm more robust, notably for macos /var vs. /private/var;
Wed, 05 Dec 2018 21:36:18 +0100 wenzelm clarified absolute isabelle_home and (implicitly) isabelle_home_user;
Wed, 05 Dec 2018 19:42:40 +0100 wenzelm eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
Mon, 03 Dec 2018 21:32:08 +0100 wenzelm clarified signature;
Mon, 03 Dec 2018 20:34:19 +0100 wenzelm clarified signature;
Mon, 03 Dec 2018 20:04:48 +0100 wenzelm more explicit support for Isabelle system components;
Sun, 02 Dec 2018 15:56:14 +0100 wenzelm clarified component settings;
Sun, 02 Dec 2018 14:12:08 +0100 wenzelm unused;
Thu, 29 Nov 2018 15:17:51 +0100 wenzelm clarified "hidden" terminology;
Wed, 28 Nov 2018 14:00:22 +0100 wenzelm more explicit Isabelle_Fonts.Entry;
Wed, 28 Nov 2018 11:28:02 +0100 wenzelm clarified modules;
Sun, 21 Oct 2018 18:32:33 +0200 wenzelm eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
Sun, 21 Oct 2018 14:25:51 +0200 wenzelm tuned signature;
Fri, 17 Aug 2018 20:44:00 +0200 wenzelm clarified signature;
Sat, 11 Nov 2017 16:28:15 +0100 wenzelm clarified settings environment;
Sat, 11 Nov 2017 16:01:02 +0100 wenzelm tuned signature;
Fri, 26 May 2017 11:09:16 +0200 wenzelm tuned signature;
Wed, 24 May 2017 11:39:00 +0200 wenzelm tuned;
Tue, 16 May 2017 16:04:50 +0200 wenzelm proper init_settings, before inspecting ML_HOME etc;
Thu, 20 Oct 2016 11:04:38 +0200 wenzelm proper echo;
Tue, 18 Oct 2016 16:03:30 +0200 wenzelm clarified modules;
less more (0) -60 tip