Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 74064 d871882ad651
parent 73987 fc363a3b690a
child 74065 f175fd68b6a9
equal deleted inserted replaced
74063:ff466b272267 74064:d871882ad651 
   152 ### Haskell
 
   152 ### Haskell
 
   153 ###
 
   153 ###
 
   154 
   154 
   155 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
   155 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
   156 
   156 
   157 ISABELLE_STACK_RESOLVER="lts-17.10"
 
   157 ISABELLE_STACK_RESOLVER="lts-17.15"
 
   158 
   158 
   159 ISABELLE_GHC_VERSION="ghc-8.10.4"
 
   159 ISABELLE_GHC_VERSION="ghc-8.10.4"
 
   160 
   160 
   161 
   161 
   162 ###
 
   162 ###
isabelle