etc/settings

--- a/etc/settings	Mon Nov 30 16:34:03 2020 +0100
+++ b/etc/settings	Mon Nov 30 17:00:35 2020 +0100
@@ -158,9 +158,9 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-13.19"
+ISABELLE_STACK_RESOLVER="lts-16.12"
 
-ISABELLE_GHC_VERSION="ghc-8.6.4"
+ISABELLE_GHC_VERSION="ghc-8.8.4"
 
 
 ###