# HG changeset patch
# User wenzelm
# Date 1530542880 -7200
# Node ID fb693268991abe9070c4e49e7fb49221a8fcea17
# Parent  c8bf6077a87d20a443cb985d9c7672407b9d3e83
updated for release;

diff -r c8bf6077a87d -r fb693268991a Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Mon Jul 02 16:43:06 2018 +0200
+++ b/Admin/Release/CHECKLIST	Mon Jul 02 16:48:00 2018 +0200
@@ -33,9 +33,8 @@
 
 - check funny base directory, e.g. "Test 中国";
 
-- check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
-  requires cm-super fonts, which are usually available on MacTeX or
-  Cygwin, but not on Ubuntu/Debian);
+- 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;
 
@@ -78,9 +77,7 @@
 - Mac OS X: provide "gnutar" executable via shell PATH
   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
 
-- Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove);
-
-- fully-automated packaging (e.g. on lxbroy10 or macbroy2):
+- fully-automated packaging (e.g. on lxbroy10):
 
   hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist