Admin/Release/CHECKLIST

 - 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;
 
-- update https://bitbucket.org/isabelle_project/isabelle-website
+- update https://isabelle.sketis.net/repos/isabelle-website
 
 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
 - check Logics:
     ROOTS

 
   https://hub.docker.com/r/makarius/isabelle
   https://docs.docker.com/docker-cloud/builds/push-images
 
 
-Final release stage
-===================
-
-- various .hg/hgrc files:
-  default = http://bitbucket.org/isabelle_project/isabelle-release
-  default = ssh://[e-mail]/isabelle_project/isabelle-release
-
-
 Post-release
 ============
 
 - update /home/isabelle and /home/isabelle/html-data