obsolete;
authorwenzelm
Sat, 23 Mar 2019 20:12:37 +0100
changeset 70141 795ca58cee29
parent 70140 70dc3c4e9469
child 70142 eff4ff8ba515
obsolete;
Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Mar 23 19:50:03 2019 +0100
+++ b/Admin/Release/CHECKLIST	Sat Mar 23 20:12:37 2019 +0100
@@ -40,19 +40,12 @@
 
 - check funny base directory, e.g. "Test 中国";
 
-- check scalable fonts, e.g. src/Doc/Prog_Prove
-  (NOTE: T1 encoding requires cm-super fonts);
-
 - diff NEWS wrt. last official release, which is read-only;
 
 - update https://isabelle.sketis.net/repos/isabelle-website
 
 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
-- check Logics:
-    ROOTS
-    lib/html/library_index_content.template
-
 - HTML library: check HTML header;
 
 - HTML library: check theory dependencies (PDF);