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.
update to lts-12.26 (stable branch);
authorwenzelm
Fri, 03 May 2019 11:47:01 +0200
changeset 70238 f18ece5865da
parent 70234 4e0834322981
child 70239 9c60fcfdf495
update to lts-12.26 (stable branch);
etc/settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle