# HG changeset patch
# User wenzelm
# Date 1295284283 -3600
# Node ID 2aef57d825ff10fb15bd615cfca362c830b3869a
# Parent  fda8511006f9de5374475955059f2f0307f7f814# Parent  46d65140c5de324f9b313650e9446d6c940dab78
merged

diff -r fda8511006f9 -r 2aef57d825ff Admin/CHECKLIST
--- a/Admin/CHECKLIST	Mon Jan 17 17:45:52 2011 +0100
+++ b/Admin/CHECKLIST	Mon Jan 17 18:11:23 2011 +0100
@@ -3,7 +3,7 @@
 
 - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
 
-- test Proof General 4.1;
+- test Proof General 4.1, 4.0, 3.7.1.1;
 
 - test Scala wrapper;
 
@@ -45,3 +45,15 @@
 - makebundle (multiplatform);
 
 - hdiutil create -srcfolder DIR DMG (Mac OS);
+
+
+Final release stage
+===================
+
+- hgrc: default = /home/isabelle-repository/repos/isabelle-release
+
+  isatest@macbroy28:hg-isabelle/.hg/hgrc
+  isatest@atbroy102:hg-isabelle/.hg/hgrc
+
+- makedist: REPOS_NAME="isabelle-release"
+
diff -r fda8511006f9 -r 2aef57d825ff Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Jan 17 17:45:52 2011 +0100
+++ b/Admin/isatest/isatest-makedist	Mon Jan 17 18:11:23 2011 +0100
@@ -100,9 +100,9 @@
 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
-$SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
+$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly"
 sleep 15
-$SSH macbroy28 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15