etc/settings

--- a/etc/settings	Wed Dec 26 20:57:23 2018 +0100
+++ b/etc/settings	Thu Dec 27 17:36:19 2018 +0100
@@ -153,9 +153,9 @@
 
 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
-ISABELLE_STACK_RESOLVER="lts-12.13"
+ISABELLE_STACK_RESOLVER="lts-13.0"
 
-ISABELLE_GHC_VERSION="ghc-8.4.3"
+ISABELLE_GHC_VERSION="ghc-8.6.3"
 
 
 ###