--- 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;