equal
deleted
inserted
replaced
17 |
17 |
18 - Admin/update-keywords; |
18 - Admin/update-keywords; |
19 |
19 |
20 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS; |
20 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS; |
21 |
21 |
|
22 - diff NEWS wrt. last official release, which is read-only; |
|
23 |
22 - update https://isabelle.in.tum.de/repos/website; |
24 - update https://isabelle.in.tum.de/repos/website; |
23 |
25 |
24 - maintain Docs: |
26 - maintain Docs: |
25 doc-src/Dirs |
27 doc-src/Dirs |
26 doc/Contents |
28 doc/Contents |