Re: [isabelle] Mirroring Isabelle

On Sun, 11 Oct 2015, Makarius wrote:

On Sat, 10 Oct 2015, Corey Richardson wrote:

 Are there instructions for mirroring Isabelle? The Clarkson University
 Open Source Institute would like to mirror Isabelle on It would be ideal if rsync can be used for
 the sync, but http/ftp is also fine.

Mirroring Isabelle does not happen so often that we have written instructions.

For completeness, this is the public announcement that the mirror is already active for several days:

All mirror sites provide the list of mirrors in the corner labeled "Site Mirrors".


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.