| Sun, 23 Dec 2018 15:40:28 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Sun, 09 Dec 2018 12:09:54 +0100 | wenzelm | clarified settings and defaults; | file | diff | annotate |
| Sat, 08 Dec 2018 23:53:43 +0100 | wenzelm | discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install; | file | diff | annotate |
| Sat, 08 Dec 2018 14:58:56 +0100 | wenzelm | clarified gnutar options: more uniform owner; | file | diff | annotate |
| Sat, 08 Dec 2018 14:28:14 +0100 | wenzelm | clarified application bundling: discontinued redundant archives; | file | diff | annotate |
| Fri, 07 Dec 2018 12:25:31 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 06 Dec 2018 16:48:40 +0100 | wenzelm | clarified error; | file | diff | annotate |
| Thu, 06 Dec 2018 16:40:56 +0100 | wenzelm | clarified defaults: explicit "rev" takes precedence; | file | diff | annotate |
| Thu, 06 Dec 2018 15:44:31 +0100 | wenzelm | more explicit Components.Archive; | file | diff | annotate |
| Thu, 06 Dec 2018 14:47:04 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Thu, 06 Dec 2018 14:25:27 +0100 | wenzelm | more explicit Platform.Family; | file | diff | annotate |
| Wed, 05 Dec 2018 23:15:23 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 05 Dec 2018 22:46:44 +0100 | wenzelm | more direct File.executable operation: avoid external process (on Unix); | file | diff | annotate |
| Wed, 05 Dec 2018 21:35:54 +0100 | wenzelm | tuned messages; | file | diff | annotate |
| Wed, 05 Dec 2018 21:15:18 +0100 | wenzelm | more direct File.link operation: avoid external process; | 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 |
| Tue, 04 Dec 2018 16:11:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 03 Dec 2018 21:32:08 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 03 Dec 2018 20:34:19 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 03 Dec 2018 20:04:48 +0100 | wenzelm | more explicit support for Isabelle system components; | file | diff | annotate |
| Mon, 03 Dec 2018 12:30:37 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 02 Dec 2018 21:59:03 +0100 | wenzelm | manage components similar to makedist_bundle (still inactive); | file | diff | annotate |
| Sun, 02 Dec 2018 17:53:47 +0100 | wenzelm | distribution_classpath as in makedist_bundle; | file | diff | annotate |
| Sun, 02 Dec 2018 15:56:14 +0100 | wenzelm | clarified component settings; | file | diff | annotate |
| Sun, 02 Dec 2018 14:12:08 +0100 | wenzelm | unused; | file | diff | annotate |
| Wed, 28 Nov 2018 14:00:22 +0100 | wenzelm | more explicit Isabelle_Fonts.Entry; | file | diff | annotate |
| Mon, 22 Oct 2018 11:57:52 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Mon, 22 Oct 2018 11:55:39 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 22 Oct 2018 11:48:28 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Mon, 22 Oct 2018 11:45:56 +0200 | wenzelm | more robust: check archive ident; | file | diff | annotate |
| Mon, 22 Oct 2018 11:34:38 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sun, 21 Oct 2018 20:44:27 +0200 | wenzelm | more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST; | file | diff | annotate |
| Sun, 21 Oct 2018 19:39:46 +0200 | wenzelm | more portable tar_options; | file | diff | annotate |
| Sun, 21 Oct 2018 19:34:11 +0200 | wenzelm | check (non-)executable files -- and eliminate them manually from the repository) | file | diff | annotate |
| Sun, 21 Oct 2018 18:32:33 +0200 | wenzelm | eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; | file | diff | annotate |
| Sun, 21 Oct 2018 14:35:46 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 17 Aug 2018 20:44:45 +0200 | wenzelm | enforce ML_system_64: more robust as cold build, without command_timings; | file | diff | annotate |
| Sat, 11 Nov 2017 16:01:02 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 27 Oct 2017 11:46:03 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 24 Oct 2017 10:43:23 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Fri, 13 Oct 2017 13:31:56 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 30 Sep 2017 18:53:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 30 Sep 2017 11:20:47 +0200 | wenzelm | "windows" application is always x86_64; | file | diff | annotate |
| Sun, 14 May 2017 22:04:52 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 14 May 2017 21:54:35 +0200 | wenzelm | more systematic HTML.init_dir with css; | file | diff | annotate |
| Thu, 04 May 2017 12:30:19 +0200 | wenzelm | prefer standard getOrElse; | file | diff | annotate |
| Thu, 04 May 2017 12:23:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Feb 2017 12:42:50 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Sun, 22 Jan 2017 16:45:58 +0100 | wenzelm | clarified owner; | file | diff | annotate |
| Sun, 22 Jan 2017 16:15:08 +0100 | wenzelm | insist in proper GNU tar, to avoid subtle semantic differences; | file | diff | annotate |
| Mon, 16 Jan 2017 21:53:44 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 26 Oct 2016 14:52:41 +0200 | wenzelm | just one task to identify Isabelle + AFP repository snapshots and build release; | file | diff | annotate |
| Mon, 24 Oct 2016 14:05:22 +0200 | wenzelm | more robust; | file | diff | annotate |
| Sun, 23 Oct 2016 16:37:59 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sun, 23 Oct 2016 15:25:48 +0200 | wenzelm | modernized; | file | diff | annotate |
| Thu, 20 Oct 2016 11:05:16 +0200 | wenzelm | build HTML library in Isabelle/Scala; | file | diff | annotate |
| Tue, 18 Oct 2016 16:03:30 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 15 Oct 2016 13:07:54 +0200 | wenzelm | identify release; | file | diff | annotate |
| Fri, 14 Oct 2016 20:07:22 +0200 | wenzelm | proper link; | file | diff | annotate |
| Fri, 14 Oct 2016 20:03:07 +0200 | wenzelm | explicit website directory; | file | diff | annotate |