etc/settings

--- a/etc/settings	Mon Mar 14 15:13:00 2011 +0100
+++ b/etc/settings	Mon Mar 14 15:17:10 2011 +0100
@@ -228,3 +228,8 @@
 # Second option: use the open source glpk solver
 #LP_SOLVER=GLPK
 #GLPK_PATH=glpsol
+
+# Misc programming languages
+#ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc"
+#ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml"
+#ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl"