changeset 69328 | 4646fcb59121 |
parent 69311 | 740b14b67472 |
child 69412 | f0b85c8aec46 |
69327:264b44dce6be | 69328:4646fcb59121 |
---|---|
160 ### |
160 ### |
161 ### Misc settings |
161 ### Misc settings |
162 ### |
162 ### |
163 |
163 |
164 ISABELLE_GNUPLOT="gnuplot" |
164 ISABELLE_GNUPLOT="gnuplot" |
165 ISABELLE_FONTFORGE="fontforge" |
|
165 |
166 |
166 #ISABELLE_MLTON="/usr/bin/mlton" |
167 #ISABELLE_MLTON="/usr/bin/mlton" |
167 #ISABELLE_SMLNJ="/usr/bin/sml" |
168 #ISABELLE_SMLNJ="/usr/bin/sml" |
168 #ISABELLE_SWIPL="/usr/bin/swipl" |
169 #ISABELLE_SWIPL="/usr/bin/swipl" |