[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] New Mizar mirror site at Auburn University

Hi,

You may be interested to know that the discontinuation of mirroring in Alberta was caused by a security incident in June and our system administrators needed half a year to reestablished web-services in some civilized way.  BTW: when the mirror in Edmonton was active there was virtually no downloads from it.

Cheers, PR


On Fri, Jan 28, 2011 at 3:44 AM, Adam Naumowicz <adamn@math.uwb.edu.pl> wrote:
Dear All,

I'd like to announce that we have set up a new Mizar mirror site at Auburn University. The address is:

http://mizar.auburn.edu

Since the operation of the Canadian mirror maintained by Piotr Rudnicki in Edmonton has been discontinued, this new site will now be the main Mizar mirror in America.

Regards,

Adam Naumowicz

=======================================================================
Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================




--
Piotr Rudnicki                                 http://www.cs.ualberta.ca/~piotr