Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
authorwenzelm
Sun, 25 Jul 2021 16:12:23 +0200
changeset 74065 f175fd68b6a9
parent 74064 d871882ad651
child 74066 b3f072aa4690
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sun Jul 25 14:46:08 2021 +0200
+++ b/etc/settings	Sun Jul 25 16:12:23 2021 +0200
@@ -154,7 +154,7 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-17.15"
+ISABELLE_STACK_RESOLVER="lts-17.10"
 
 ISABELLE_GHC_VERSION="ghc-8.10.4"
isabelle