obsolete;
authorwenzelm
Sat Mar 23 20:12:37 2019 +0100 (4 weeks ago)
changeset 69959795ca58cee29
parent 69958 70dc3c4e9469
child 69960 eff4ff8ba515
obsolete;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Sat Mar 23 19:50:03 2019 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Sat Mar 23 20:12:37 2019 +0100
     1.3 @@ -40,19 +40,12 @@
     1.4  
     1.5  - check funny base directory, e.g. "Test 中国";
     1.6  
     1.7 -- check scalable fonts, e.g. src/Doc/Prog_Prove
     1.8 -  (NOTE: T1 encoding requires cm-super fonts);
     1.9 -
    1.10  - diff NEWS wrt. last official release, which is read-only;
    1.11  
    1.12  - update https://isabelle.sketis.net/repos/isabelle-website
    1.13  
    1.14  - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
    1.15  
    1.16 -- check Logics:
    1.17 -    ROOTS
    1.18 -    lib/html/library_index_content.template
    1.19 -
    1.20  - HTML library: check HTML header;
    1.21  
    1.22  - HTML library: check theory dependencies (PDF);