changeset 49202 | 6615f7ce670b |
parent 48629 | 8c37cb84065f |
child 49222 | 40fab092d2a2 |
1.1 --- a/etc/settings Wed Jul 04 13:08:44 2012 +0200 1.2 +++ b/etc/settings Thu Jul 05 13:33:53 2012 +0200 1.3 @@ -220,6 +220,6 @@ 1.4 #GLPK_PATH=glpsol 1.5 1.6 # Misc programming languages 1.7 -#ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc" 1.8 -#ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml" 1.9 -#ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl" 1.10 +#ISABELLE_GHC="/usr/bin/ghc" 1.11 +#ISABELLE_OCAML="/usr/bin/ocaml" 1.12 +#ISABELLE_SWIPL="/usr/bin/swipl"