etc/settings
changeset 48187 6615f7ce670b
parent 47758 8c37cb84065f
child 48207 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"