author | wenzelm |
Sun, 27 Jul 2014 15:29:42 +0200 | |
changeset 59036 | c0fd03d13d28 |
parent 59035 | 8ccc4875fe4f |
child 59037 | f11f3d7589b1 |
1.1 --- a/Admin/Release/CHECKLIST Sun Jul 27 15:25:00 2014 +0200 1.2 +++ b/Admin/Release/CHECKLIST Sun Jul 27 15:29:42 2014 +0200 1.3 @@ -32,8 +32,6 @@ 1.4 1.5 - diff NEWS wrt. last official release, which is read-only; 1.6 1.7 -- update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home 1.8 - 1.9 - update https://bitbucket.org/isabelle_project/isabelle-website 1.10 1.11 - maintain doc/Contents;