| changeset 54053 | ad5e2ed466ac |
| parent 54052 | 797ae756d64d |
| child 55367 | f4bbfc2eeae8 |
| 54052:797ae756d64d | 54053:ad5e2ed466ac |
|---|---|
55 |
55 |
56 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
56 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
57 |
57 |
58 - isabelle-release: hg tag; |
58 - isabelle-release: hg tag; |
59 |
59 |
60 - isabelle: back to back to post-release mode -- after fork point; |
60 - isabelle: back to post-release mode -- after fork point; |
61 |
61 |
62 |
62 |
63 Packaging |
63 Packaging |
64 ========= |
64 ========= |
65 |
65 |