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
|