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 80075 09e9819beef6
parent 80011 b082476a8036
child 80466 8506bfd25efb
equal deleted inserted replaced
80074:951c371c1cd9 80075:09e9819beef6 
   171 ### Haskell
 
   171 ### Haskell
 
   172 ###
 
   172 ###
 
   173 
   173 
   174 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
   174 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
   175 
   175 
   176 ISABELLE_STACK_RESOLVER="lts-22.13"
 
   176 ISABELLE_STACK_RESOLVER="lts-22.15"
 
   177 
   177 
   178 ISABELLE_GHC_VERSION="ghc-9.6.4"
 
   178 ISABELLE_GHC_VERSION="ghc-9.6.4"
 
   179 
   179 
   180 
   180 
   181 ###
 
   181 ###
isabelle