etc/settings

--- a/etc/settings	Wed Oct 17 21:37:40 2018 +0200
+++ b/etc/settings	Wed Oct 17 21:38:07 2018 +0200
@@ -147,6 +147,10 @@
 
 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
+ISABELLE_STACK_RESOLVER="lts-12.13"
+
+ISABELLE_GHC_VERSION="ghc-8.4.3"
+
 
 ###
 ### Misc settings
@@ -154,7 +158,6 @@
 
 ISABELLE_GNUPLOT="gnuplot"
 
-#ISABELLE_GHC="/usr/bin/ghc"
 #ISABELLE_MLTON="/usr/bin/mlton"
 #ISABELLE_SMLNJ="/usr/bin/sml"
 #ISABELLE_SWIPL="/usr/bin/swipl"