equal
deleted
inserted
replaced
29 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
29 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
30 requires cm-super fonts, which are usually available on MacTeX or |
30 requires cm-super fonts, which are usually available on MacTeX or |
31 Cygwin, but not on Ubuntu/Debian); |
31 Cygwin, but not on Ubuntu/Debian); |
32 |
32 |
33 - diff NEWS wrt. last official release, which is read-only; |
33 - diff NEWS wrt. last official release, which is read-only; |
34 |
|
35 - update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home |
|
36 |
34 |
37 - update https://bitbucket.org/isabelle_project/isabelle-website |
35 - update https://bitbucket.org/isabelle_project/isabelle-website |
38 |
36 |
39 - maintain doc/Contents; |
37 - maintain doc/Contents; |
40 |
38 |