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 |