# HG changeset patch
# User wenzelm
# Date 1530556089 -7200
# Node ID 0307cdca646249d5e159ee483e3f26dc60e41384
# Parent  2a6e258bfd66186542de71b2cd60790047a2d440# Parent  fb693268991abe9070c4e49e7fb49221a8fcea17
merged

diff -r 2a6e258bfd66 -r 0307cdca6462 .hgtags
--- a/.hgtags	Mon Jul 02 16:20:03 2018 +0100
+++ b/.hgtags	Mon Jul 02 20:28:09 2018 +0200
@@ -35,3 +35,4 @@
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 194fa3d2d6a4d01f9f3cde59125c466c525216be Isabelle2018-RC0
+cf01d04e94d71e6cda86a7740377ad903f86706b Isabelle2018-RC1
diff -r 2a6e258bfd66 -r 0307cdca6462 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Mon Jul 02 16:20:03 2018 +0100
+++ b/Admin/Release/CHECKLIST	Mon Jul 02 20:28:09 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