| Sun, 09 Dec 2018 12:09:54 +0100 | wenzelm | clarified settings and defaults; | file | diff | annotate |
| Thu, 06 Dec 2018 00:24:21 +0100 | wenzelm | more robust, notably for macos /var vs. /private/var; | file | diff | annotate |
| Wed, 05 Dec 2018 21:36:18 +0100 | wenzelm | clarified absolute isabelle_home and (implicitly) isabelle_home_user; | 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 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 |
| 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 |
| Thu, 29 Nov 2018 15:17:51 +0100 | wenzelm | clarified "hidden" terminology; | file | diff | annotate |
| Wed, 28 Nov 2018 14:00:22 +0100 | wenzelm | more explicit Isabelle_Fonts.Entry; | file | diff | annotate |
| Wed, 28 Nov 2018 11:28:02 +0100 | wenzelm | clarified modules; | 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:25:51 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 17 Aug 2018 20:44:00 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 11 Nov 2017 16:28:15 +0100 | wenzelm | clarified settings environment; | file | diff | annotate |
| Sat, 11 Nov 2017 16:01:02 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 26 May 2017 11:09:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 24 May 2017 11:39:00 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 May 2017 16:04:50 +0200 | wenzelm | proper init_settings, before inspecting ML_HOME etc; | file | diff | annotate |
| Thu, 20 Oct 2016 11:04:38 +0200 | wenzelm | proper echo; | file | diff | annotate |
| Tue, 18 Oct 2016 16:03:30 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 13 Oct 2016 23:09:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Oct 2016 15:17:10 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 13 Oct 2016 12:13:43 +0200 | wenzelm | clarified modules; | file | diff | annotate |