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