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 |