etc/settings

--- a/etc/settings	Wed Jul 04 13:08:44 2012 +0200
+++ b/etc/settings	Thu Jul 05 13:33:53 2012 +0200
@@ -220,6 +220,6 @@
 #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"
+#ISABELLE_GHC="/usr/bin/ghc"
+#ISABELLE_OCAML="/usr/bin/ocaml"
+#ISABELLE_SWIPL="/usr/bin/swipl"