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
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and