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