# HG changeset patch
# User wenzelm
# Date 1380449927 -7200
# Node ID 711104822c8e97a440a5122342e3ff6b48304e5d
# Parent  65c893e0849fb901b195753ad80e6b505e14b8f8
updated for release;

diff -r 65c893e0849f -r 711104822c8e Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Sep 29 12:17:02 2013 +0200
+++ b/Admin/Release/CHECKLIST	Sun Sep 29 12:18:47 2013 +0200
@@ -17,8 +17,6 @@
 
 - check HTML header of library;
 
-- check file positions within logic images (hyperlinks etc.);
-
 - check ML sources: isabelle build -nal;
 
 - run isabelle update_keywords;
@@ -29,7 +27,9 @@
 
 - diff NEWS wrt. last official release, which is read-only;
 
-- update https://isabelle.in.tum.de/repos/website;
+- update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
+
+- update https://bitbucket.org/isabelle_project/isabelle-website
 
 - maintain doc/Contents;