etc/settings

--- a/etc/settings	Sat Oct 14 20:50:25 2023 +0200
+++ b/etc/settings	Sun Oct 15 13:36:48 2023 +0200
@@ -159,9 +159,9 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-18.12"
+ISABELLE_STACK_RESOLVER="lts-21.15"
 
-ISABELLE_GHC_VERSION="ghc-8.10.7"
+ISABELLE_GHC_VERSION="ghc-9.4.7"
 
 
 ###