[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.

-- 
/cmr




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