equal
deleted
inserted
replaced
16 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
16 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
17 |
17 |
18 - check versions: |
18 - check versions: |
19 src/Tools/jEdit/src/Isabelle.props |
19 src/Tools/jEdit/src/Isabelle.props |
20 src/Tools/jEdit/src-base/Isabelle_Base.props |
20 src/Tools/jEdit/src-base/Isabelle_Base.props |
|
21 |
|
22 - check Isabelle version: |
|
23 src/Tools/VSCode/extension/README.md |
|
24 src/Tools/VSCode/extension/package.json |
21 |
25 |
22 - check funny base directory, e.g. "Test 中国"; |
26 - check funny base directory, e.g. "Test 中国"; |
23 |
27 |
24 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
28 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
25 requires cm-super fonts, which are usually available on MacTeX or |
29 requires cm-super fonts, which are usually available on MacTeX or |