[isabelle] Mirroring Isabelle

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.


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