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.
more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
authorwenzelm
Fri, 28 Dec 2018 19:01:35 +0100
changeset 69526 5574d504cf36
parent 69525 8e7134f1f585
child 69527 3626ccf644e1
child 69529 4ab9657b3257
child 69532 e2edf24b960e
more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Dec 28 19:06:33 2018 +0100
+++ b/etc/settings	Fri Dec 28 19:01:35 2018 +0100
@@ -153,9 +153,9 @@
 
 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
-ISABELLE_STACK_RESOLVER="lts-13.0"
+ISABELLE_STACK_RESOLVER="lts-12.25"
 
-ISABELLE_GHC_VERSION="ghc-8.6.3"
+ISABELLE_GHC_VERSION="ghc-8.4.4"
 
 
 ###
isabelle