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