Re: [isabelle] Mirroring Isabelle



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 http://mirror.clarkson.edu/. 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.

A mirror site needs to provide about 2-3 GB disk space (per Isabelle release) and needs to be reasonably reliable.

Yes, we do provide rsync service.


The rest can be sorted out by private mail. Are you yourself going to be the responsible administrator for the mirror?


	Makarius





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