--- a/etc/settings Thu May 02 22:06:40 2019 +0200
+++ b/etc/settings Fri May 03 11:47:01 2019 +0200
@@ -153,7 +153,7 @@
ISABELLE_STACK_ROOT="$USER_HOME/.stack"
-ISABELLE_STACK_RESOLVER="lts-12.25"
+ISABELLE_STACK_RESOLVER="lts-12.26"
ISABELLE_GHC_VERSION="ghc-8.4.4"