| Thu, 18 Oct 2018 20:04:23 +0200 | Lars Hupel | Jenkins: run ghc_setup | changeset | files |
| Thu, 18 Oct 2018 12:35:32 +0200 | wenzelm | clarified errors; | changeset | files |
| Thu, 18 Oct 2018 12:30:26 +0200 | wenzelm | more robust: explicit version; | changeset | files |
| Wed, 17 Oct 2018 22:41:59 +0200 | wenzelm | more robust: avoid implicit setup (with default resolver); | changeset | files |
| Wed, 17 Oct 2018 22:36:51 +0200 | wenzelm | more portable; | changeset | files |
| Wed, 17 Oct 2018 22:21:01 +0200 | wenzelm | proper path; | changeset | files |
| Wed, 17 Oct 2018 22:10:45 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 Oct 2018 22:00:02 +0200 | wenzelm | merged | changeset | files |
| Wed, 17 Oct 2018 21:53:38 +0200 | wenzelm | avoid strict evaluation of "isabelle_stack path --programs"; | changeset | files |
| Wed, 17 Oct 2018 21:42:29 +0200 | wenzelm | enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings; | changeset | files |
| Wed, 17 Oct 2018 21:38:07 +0200 | wenzelm | support for GHC via command-line tools; | changeset | files |
| Wed, 17 Oct 2018 21:37:40 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 Oct 2018 21:36:57 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 17 Oct 2018 20:25:51 +0200 | wenzelm | auto update; | changeset | files |