--- a/Admin/isatest/isatest-doc Thu Jun 05 14:28:02 2008 +0200
+++ b/Admin/isatest/isatest-doc Fri Jun 06 08:52:35 2008 +0200
@@ -22,7 +22,7 @@
LOG=$LOGPREFIX/isatest-doc-$DATE.log
-SHORT=sun-poly
+SHORT=at-poly
SETTINGS=~/settings/$SHORT
ISATOOL=$ISABELLE_DEVEL/bin/isatool