equal
deleted
inserted
replaced
31 src/Tools/VSCode/extension/README.md |
31 src/Tools/VSCode/extension/README.md |
32 src/Tools/VSCode/extension/package.json |
32 src/Tools/VSCode/extension/package.json |
33 |
33 |
34 - check funny base directory, e.g. "Test 中国"; |
34 - check funny base directory, e.g. "Test 中国"; |
35 |
35 |
36 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
36 - check scalable fonts, e.g. src/Doc/Prog_Prove |
37 requires cm-super fonts, which are usually available on MacTeX or |
37 (NOTE: T1 encoding requires cm-super fonts); |
38 Cygwin, but not on Ubuntu/Debian); |
|
39 |
38 |
40 - diff NEWS wrt. last official release, which is read-only; |
39 - diff NEWS wrt. last official release, which is read-only; |
41 |
40 |
42 - update https://bitbucket.org/isabelle_project/isabelle-website |
41 - update https://bitbucket.org/isabelle_project/isabelle-website |
43 |
42 |
76 ========= |
75 ========= |
77 |
76 |
78 - Mac OS X: provide "gnutar" executable via shell PATH |
77 - Mac OS X: provide "gnutar" executable via shell PATH |
79 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
78 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
80 |
79 |
81 - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove); |
80 - fully-automated packaging (e.g. on lxbroy10): |
82 |
|
83 - fully-automated packaging (e.g. on lxbroy10 or macbroy2): |
|
84 |
81 |
85 hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist |
82 hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist |
86 |
83 |
87 - Docker image: |
84 - Docker image: |
88 |
85 |