--- a/etc/settings Wed Oct 17 16:53:45 2018 +0200 +++ b/etc/settings Wed Oct 17 20:06:19 2018 +0200 @@ -142,6 +142,13 @@ ### +### Haskell +### + +ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack" + + +### ### Misc settings ###