slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);

--- a/Admin/isatest/settings/at-poly-test	Wed Jul 04 13:08:44 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test	Thu Jul 05 13:33:53 2012 +0200
@@ -24,8 +24,8 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
-ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
+ISABELLE_GHC="/usr/bin/ghc"
+ISABELLE_OCAML="/usr/bin/ocaml"
 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
 
 init_component "$HOME/contrib_devel/kodkodi-1.2.16"

--- 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"