etc/settings
changeset 41968 7f5c9bd991be
parent 41955 703ea96b13c6
child 43484 51b8043a8cf5
     1.1 --- a/etc/settings	Mon Mar 14 15:13:00 2011 +0100
     1.2 +++ b/etc/settings	Mon Mar 14 15:17:10 2011 +0100
     1.3 @@ -228,3 +228,8 @@
     1.4  # Second option: use the open source glpk solver
     1.5  #LP_SOLVER=GLPK
     1.6  #GLPK_PATH=glpsol
     1.7 +
     1.8 +# Misc programming languages
     1.9 +#ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc"
    1.10 +#ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml"
    1.11 +#ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl"