equal
deleted
inserted
replaced
41 |
41 |
42 - diff NEWS wrt. last official release, which is read-only; |
42 - diff NEWS wrt. last official release, which is read-only; |
43 |
43 |
44 - update https://isabelle.sketis.net/repos/isabelle-website |
44 - update https://isabelle.sketis.net/repos/isabelle-website |
45 |
45 |
46 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents; |
46 - check doc/Contents, $JEDIT_HOME/doc/Contents; |
47 |
47 |
48 - test old HD display: Linux, Windows, macOS; |
48 - test old HD display: Linux, Windows, macOS; |
49 |
49 |
50 - macOS: check recent MacTeX; |
50 - macOS: check recent MacTeX; |
51 |
51 |