equal
deleted
inserted
replaced
13 |
13 |
14 - check sources: |
14 - check sources: |
15 isabelle java isabelle.Check_Source '~~' '$AFP_BASE' |
15 isabelle java isabelle.Check_Source '~~' '$AFP_BASE' |
16 |
16 |
17 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
17 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
|
18 |
|
19 - check versions in src/Tools/jEdit/Isabelle.props; |
18 |
20 |
19 - check funny base directory, e.g. "Test 中国"; |
21 - check funny base directory, e.g. "Test 中国"; |
20 |
22 |
21 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
23 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
22 requires cm-super fonts, which are usually available on MacTeX or |
24 requires cm-super fonts, which are usually available on MacTeX or |