| changeset 69526 | 5574d504cf36 |
| parent 69507 | 04e54f57a869 |
| child 69810 | a23d6ff31f79 |
| 69525:8e7134f1f585 | 69526:5574d504cf36 |
|---|---|
151 ### Haskell |
151 ### Haskell |
152 ### |
152 ### |
153 |
153 |
154 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack" |
154 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack" |
155 |
155 |
156 ISABELLE_STACK_RESOLVER="lts-13.0" |
156 ISABELLE_STACK_RESOLVER="lts-12.25" |
157 |
157 |
158 ISABELLE_GHC_VERSION="ghc-8.6.3" |
158 ISABELLE_GHC_VERSION="ghc-8.4.4" |
159 |
159 |
160 |
160 |
161 ### |
161 ### |
162 ### Misc settings |
162 ### Misc settings |
163 ### |
163 ### |