| 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 |