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 LTS Haskell version
authorLars Hupel <lars.hupel@mytum.de>
Thu, 27 Dec 2018 17:36:19 +0100
changeset 69507 04e54f57a869
parent 69506 7d59af98af29
child 69509 f9bf65d90b69
update LTS Haskell version
etc/settings file | annotate | diff | comparison | revisions
src/Pure/General/path.ML file | annotate | diff | comparison | revisions 
--- a/etc/settings	Wed Dec 26 20:57:23 2018 +0100
+++ b/etc/settings	Thu Dec 27 17:36:19 2018 +0100
@@ -153,9 +153,9 @@
 
 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
-ISABELLE_STACK_RESOLVER="lts-12.13"
+ISABELLE_STACK_RESOLVER="lts-13.0"
 
-ISABELLE_GHC_VERSION="ghc-8.4.3"
+ISABELLE_GHC_VERSION="ghc-8.6.3"
 
 
 ###
--- a/src/Pure/General/path.ML	Wed Dec 26 20:57:23 2018 +0100
+++ b/src/Pure/General/path.ML	Thu Dec 27 17:36:19 2018 +0100
@@ -239,4 +239,3 @@
 val explode = explode_path;
 
 end;
-
isabelle