# HG changeset patch
# User wenzelm
# Date 1391962762 -3600
# Node ID f4bbfc2eeae84bff7203f45b91ca873c77685d7e
# Parent  50c9a0ab1436a422a108d1ce97b070f35523cc03
check scalable fonts;

diff -r 50c9a0ab1436 -r f4bbfc2eeae8 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Feb 09 16:31:24 2014 +0100
+++ b/Admin/Release/CHECKLIST	Sun Feb 09 17:19:22 2014 +0100
@@ -25,6 +25,10 @@
 
 - check funny base directory, e.g. "Test 中国";
 
+- check scalable fonts, e.g. src/Doc/ProgProve (NOTE: T1 encoding
+  requires cm-super fonts, which are usually available on MacTeX or
+  Cygwin, but not on Ubuntu/Debian);
+
 - diff NEWS wrt. last official release, which is read-only;
 
 - update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home