equal
deleted
inserted
replaced
136 ### OCaml |
136 ### OCaml |
137 ### |
137 ### |
138 |
138 |
139 ISABELLE_OPAM_ROOT="$ISABELLE_HOME_USER/opam" |
139 ISABELLE_OPAM_ROOT="$ISABELLE_HOME_USER/opam" |
140 |
140 |
|
141 ISABELLE_OCAML_VERSION="4.05.0" |
|
142 |
141 |
143 |
142 ### |
144 ### |
143 ### Misc settings |
145 ### Misc settings |
144 ### |
146 ### |
145 |
147 |
146 ISABELLE_GNUPLOT="gnuplot" |
148 ISABELLE_GNUPLOT="gnuplot" |
147 |
149 |
148 #ISABELLE_GHC="/usr/bin/ghc" |
150 #ISABELLE_GHC="/usr/bin/ghc" |
149 #ISABELLE_MLTON="/usr/bin/mlton" |
151 #ISABELLE_MLTON="/usr/bin/mlton" |
150 #ISABELLE_OCAML="/usr/bin/ocaml" |
|
151 #ISABELLE_OCAMLC="/usr/bin/ocamlc" |
|
152 #ISABELLE_SMLNJ="/usr/bin/sml" |
152 #ISABELLE_SMLNJ="/usr/bin/sml" |
153 #ISABELLE_SWIPL="/usr/bin/swipl" |
153 #ISABELLE_SWIPL="/usr/bin/swipl" |