# HG changeset patch
# User isatest
# Date 1212735155 -7200
# Node ID 5ce49b903159b566bfbc79fdcad2db15b21ab270
# Parent  b7c8b3bb89540372e0356b385e6cbf0ca68f5794
doc test now runs on linux

diff -r b7c8b3bb8954 -r 5ce49b903159 Admin/isatest/isatest-doc
--- 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