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 74065 f175fd68b6a9
parent 74064 d871882ad651
child 74420 b618749bb8f4
equal deleted inserted replaced
74064:d871882ad651 74065:f175fd68b6a9 
   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.15"
 
   157 ISABELLE_STACK_RESOLVER="lts-17.10"
 
   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