| changeset 68384 | 4a3fc3420747 |
| parent 68219 | c0341c0080e2 |
| child 68523 | ccacc84e0251 |
--- a/etc/settings Tue Jun 05 18:08:13 2018 +0200 +++ b/etc/settings Tue Jun 05 21:29:54 2018 +0200 @@ -134,5 +134,8 @@ ISABELLE_GNUPLOT="gnuplot" #ISABELLE_GHC="/usr/bin/ghc" +#ISABELLE_MLTON="/usr/bin/mlton" #ISABELLE_OCAML="/usr/bin/ocaml" +#ISABELLE_OCAMLC="/usr/bin/ocamlc" +#ISABELLE_SMLNJ="/usr/bin/sml" #ISABELLE_SWIPL="/usr/bin/swipl"