| changeset 57694 | c0fd03d13d28 |
| parent 57681 | aabfd69ab754 |
| child 57876 | 7d45e47c2765 |
--- 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;