Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sun, 27 Jul 2014 15:29:42 +0200
changeset 57694 c0fd03d13d28
parent 57693 8ccc4875fe4f
child 57695 987c9ceeaafd
child 57821 f11f3d7589b1
tuned;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Sun Jul 27 15:25:00 2014 +0200
+++ b/Admin/Release/CHECKLIST	Sun Jul 27 15:29:42 2014 +0200
@@ -32,8 +32,6 @@
 
 - diff NEWS wrt. last official release, which is read-only;
 
-- update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
-
 - update https://bitbucket.org/isabelle_project/isabelle-website
 
 - maintain doc/Contents;
isabelle