Admin/Release/CHECKLIST
changeset 66598 e2671e8c476f
parent 66477 7dccaa6d419a
child 66609 a61181ffb1ce
equal deleted inserted replaced
66597:53dcc7454221 66598:e2671e8c476f
    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