# HG changeset patch
# User wenzelm
# Date 1411634199 -7200
# Node ID 5dbb09cc5a019c7f2dd956efd6519af1f778ee2e
# Parent  a379d4531d1a98193006fbd688e0987d2bc7c281
more isatests (on lxbroy4);

diff -r a379d4531d1a -r 5dbb09cc5a01 Admin/isatest/settings/at-poly
--- 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"
+