--- a/.hgtags Mon Jul 02 21:45:10 2018 +0100
+++ b/.hgtags Mon Jul 02 21:45:35 2018 +0100
@@ -35,3 +35,4 @@
7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
194fa3d2d6a4d01f9f3cde59125c466c525216be Isabelle2018-RC0
+cf01d04e94d71e6cda86a7740377ad903f86706b Isabelle2018-RC1
--- a/Admin/Release/CHECKLIST Mon Jul 02 21:45:10 2018 +0100
+++ b/Admin/Release/CHECKLIST Mon Jul 02 21:45:35 2018 +0100
@@ -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