| changeset 68384 | 4a3fc3420747 |
| parent 68219 | c0341c0080e2 |
| child 68523 | ccacc84e0251 |
| 68383:93a42bd62ede | 68384:4a3fc3420747 |
|---|---|
132 ### |
132 ### |
133 |
133 |
134 ISABELLE_GNUPLOT="gnuplot" |
134 ISABELLE_GNUPLOT="gnuplot" |
135 |
135 |
136 #ISABELLE_GHC="/usr/bin/ghc" |
136 #ISABELLE_GHC="/usr/bin/ghc" |
137 #ISABELLE_MLTON="/usr/bin/mlton" |
|
137 #ISABELLE_OCAML="/usr/bin/ocaml" |
138 #ISABELLE_OCAML="/usr/bin/ocaml" |
139 #ISABELLE_OCAMLC="/usr/bin/ocamlc" |
|
140 #ISABELLE_SMLNJ="/usr/bin/sml" |
|
138 #ISABELLE_SWIPL="/usr/bin/swipl" |
141 #ISABELLE_SWIPL="/usr/bin/swipl" |