| Mon, 05 Nov 2018 20:53:16 +0100 | wenzelm | more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing); | file | diff | annotate |
| Thu, 18 Oct 2018 12:30:26 +0200 | wenzelm | more robust: explicit version; | file | diff | annotate |
| Wed, 17 Oct 2018 21:38:07 +0200 | wenzelm | support for GHC via command-line tools; | file | diff | annotate |