equal
deleted
inserted
replaced
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, src/Tools/jEdit/dist/doc/Contents; |
47 |
47 |
48 - check "Handler catches all exceptions" |
|
49 |
|
50 - test old HD display: Linux, Windows, Mac OS X; |
48 - test old HD display: Linux, Windows, Mac OS X; |
51 |
49 |
52 - Mac OS X: check recent MacTeX; |
50 - Mac OS X: check recent MacTeX; |
53 |
51 |
54 - Windows: check recent MiKTeX; |
52 - Windows: check recent MiKTeX; |