check scalable fonts;

--- 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