| 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
|
| Thu, 13 Oct 2016 23:09:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 15:17:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 12:13:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|