provides uniform repository clones of
Isabelle + AFP -- this is updated via cron + ssh every 10min.

The original motivation was to avoid recurrent oddities with https
certificates from other repository servers, with the most recent
incident for Bitbucket (Isabelle/60b5a4731695):

  ERROR abort: certificate error: certificate is

There is another benefit for direct browsing: just one uniform HTML view
of repository content, using a current theme provided by Mercurial itself.

isabelle-dev mailing list

Reply via email to