| changeset 52751 | b65d699f1a7e |
| parent 49345 | f182f7fa158f |
| child 52830 | cfa2367d7212 |
--- a/Admin/isatest/settings/at-poly-test Sun Jul 28 20:10:21 2013 +0200 +++ b/Admin/isatest/settings/at-poly-test Sun Jul 28 20:10:59 2013 +0200 @@ -28,5 +28,5 @@ ISABELLE_GHC="/usr/bin/ghc" ISABELLE_OCAML="/usr/bin/ocaml" -ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl" +ISABELLE_SWIPL="/usr/bin/swipl"