| 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
|
| Fri, 22 Jan 2021 15:58:17 +0100 |
wenzelm |
proper path;
|
file |
diff |
annotate
|
| Thu, 21 Jan 2021 16:10:43 +0100 |
wenzelm |
support isabelle components -u and -x;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 16:14:05 +0100 |
wenzelm |
proper purge for arm64-darwin;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2020 17:21:12 +0200 |
wenzelm |
purge arm64-linux --- no build_release support yet;
|
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
|
| Wed, 10 Apr 2019 13:43:23 +0200 |
wenzelm |
retain copy of required components;
|
file |
diff |
annotate
|
| Mon, 21 Jan 2019 19:59:37 +0100 |
wenzelm |
more thorough purge_platforms;
|
file |
diff |
annotate
|
| Sun, 09 Dec 2018 20:19:31 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 09 Dec 2018 12:09:54 +0100 |
wenzelm |
clarified settings and defaults;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 22:56:45 +0100 |
wenzelm |
proper path before tar -C context switch;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 22:31:34 +0100 |
wenzelm |
replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 15:13:28 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|