| 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 |
| Wed, 17 Oct 2018 20:06:19 +0200 | wenzelm | isabelle_stack as portable shell function; | changeset | files |