Re: [isabelle] Web site is down?

On 28/01/2012, at 1:33 AM, Johannes Hölzl wrote:
> Another question is: Are the mirrors still required? 

In AU, I'd say yes.

The students have download quotas for non-local content, and the distribution is fairly big. It would be enough to mirror the distribution files, if that makes life easier.


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