equal
deleted
inserted
replaced
150 ### OCaml |
150 ### OCaml |
151 ### |
151 ### |
152 |
152 |
153 ISABELLE_OPAM_ROOT="$USER_HOME/.opam" |
153 ISABELLE_OPAM_ROOT="$USER_HOME/.opam" |
154 |
154 |
155 ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.07.0" |
155 ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.12.0" |
156 |
156 |
157 |
157 |
158 ### |
158 ### |
159 ### Haskell |
159 ### Haskell |
160 ### |
160 ### |
161 |
161 |
162 ISABELLE_STACK_ROOT="$USER_HOME/.stack" |
162 ISABELLE_STACK_ROOT="$USER_HOME/.stack" |
163 |
163 |
164 ISABELLE_STACK_RESOLVER="lts-16.31" |
164 ISABELLE_STACK_RESOLVER="lts-17.10" |
165 |
165 |
166 ISABELLE_GHC_VERSION="ghc-8.8.4" |
166 ISABELLE_GHC_VERSION="ghc-8.10.4" |
167 |
167 |
168 |
168 |
169 ### |
169 ### |
170 ### Misc settings |
170 ### Misc settings |
171 ### |
171 ### |