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