more isatests (on lxbroy4);

--- a/Admin/isatest/settings/at-poly	Wed Sep 24 21:00:07 2014 +0200
+++ b/Admin/isatest/settings/at-poly	Thu Sep 25 10:36:39 2014 +0200
@@ -28,3 +28,11 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
 
+ISABELLE_GHC=ghc
+#ISABELLE_MLTON=mlton
+ISABELLE_OCAML=ocaml
+ISABELLE_OCAMLC=ocamlc
+ISABELLE_POLYML="$ML_HOME/poly"
+ISABELLE_SCALA="$SCALA_HOME/bin"
+ISABELLE_SMLNJ="/home/smlnj/bin/sml"
+