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