changeset 54053 | ad5e2ed466ac |
parent 54052 | 797ae756d64d |
child 55367 | f4bbfc2eeae8 |
--- a/Admin/Release/CHECKLIST Thu Oct 03 16:15:47 2013 +0200 +++ b/Admin/Release/CHECKLIST Thu Oct 03 16:25:40 2013 +0200 @@ -57,7 +57,7 @@ - isabelle-release: hg tag; -- isabelle: back to back to post-release mode -- after fork point; +- isabelle: back to post-release mode -- after fork point; Packaging