equal
deleted
inserted
replaced
26 |
26 |
27 - diff NEWS wrt. last official release, which is read-only; |
27 - diff NEWS wrt. last official release, which is read-only; |
28 |
28 |
29 - update https://bitbucket.org/isabelle_project/isabelle-website |
29 - update https://bitbucket.org/isabelle_project/isabelle-website |
30 |
30 |
31 - maintain doc/Contents; |
31 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents; |
32 |
32 |
33 - maintain Logics: |
33 - check Logics: |
34 ROOTS |
34 ROOTS |
35 lib/html/library_index_content.template |
35 lib/html/library_index_content.template |
36 |
36 |
37 - check HTML header of library; |
37 - check HTML header of library; |
38 |
38 |