# HG changeset patch # User wenzelm # Date 1295347331 -3600 # Node ID 5a3696574ebb1a4dadf0b5668282261d71028e96 # Parent 351aa5f7d130d2c01cfc1af1c295e1830cedf30b more notes on final release stage; diff -r 351aa5f7d130 -r 5a3696574ebb Admin/CHECKLIST --- a/Admin/CHECKLIST Mon Jan 17 23:04:35 2011 +0100 +++ b/Admin/CHECKLIST Tue Jan 18 11:42:11 2011 +0100 @@ -57,3 +57,5 @@ - makedist: REPOS_NAME="isabelle-release" +- isatest@macbroy28:devel-page/content/index.content +