src/Pure/System/components.scala
Fri, 07 Dec 2018 12:31:37 +0100 wenzelm more robust;
Thu, 06 Dec 2018 15:44:31 +0100 wenzelm more explicit Components.Archive;
Thu, 06 Dec 2018 14:25:27 +0100 wenzelm more explicit Platform.Family;
Wed, 05 Dec 2018 19:42:40 +0100 wenzelm eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
Mon, 03 Dec 2018 22:07:23 +0100 wenzelm Components.download similar to "isabelle components", but without unpacking;
Mon, 03 Dec 2018 20:04:48 +0100 wenzelm more explicit support for Isabelle system components;
less more (0) tip