Admin/Release/CHECKLIST
changeset 55367 f4bbfc2eeae8
parent 54053 ad5e2ed466ac
child 56824 5ae68f53b7c2
equal deleted inserted replaced
55366:50c9a0ab1436 55367:f4bbfc2eeae8
    22 - run isabelle update_keywords;
    22 - run isabelle update_keywords;
    23 
    23 
    24 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    24 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    25 
    25 
    26 - check funny base directory, e.g. "Test 中国";
    26 - check funny base directory, e.g. "Test 中国";
       
    27 
       
    28 - check scalable fonts, e.g. src/Doc/ProgProve (NOTE: T1 encoding
       
    29   requires cm-super fonts, which are usually available on MacTeX or
       
    30   Cygwin, but not on Ubuntu/Debian);
    27 
    31 
    28 - diff NEWS wrt. last official release, which is read-only;
    32 - diff NEWS wrt. last official release, which is read-only;
    29 
    33 
    30 - update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
    34 - update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
    31 
    35