| Sat, 13 Aug 2022 15:41:12 +0200 |
wenzelm |
clarified signature: avoid public representation;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Fri, 25 Mar 2022 17:20:12 +0100 |
wenzelm |
prefer Isabelle shasum over the old command-line tool with its extra marker character;
|
file |
diff |
annotate
|
| Fri, 25 Mar 2022 17:08:32 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 23 Mar 2022 12:15:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Jun 2021 21:01:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|
| Sat, 08 Dec 2018 14:58:56 +0100 |
wenzelm |
clarified gnutar options: more uniform owner;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2018 12:31:37 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 15:44:31 +0100 |
wenzelm |
more explicit Components.Archive;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 14:25:27 +0100 |
wenzelm |
more explicit Platform.Family;
|
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 22:07:23 +0100 |
wenzelm |
Components.download similar to "isabelle components", but without unpacking;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 20:04:48 +0100 |
wenzelm |
more explicit support for Isabelle system components;
|
file |
diff |
annotate
|