Re: New Mizar mirror site at Auburn University
Piotr Rudnicki <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]>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: [email protected] > Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/<http://math.uwb.edu.pl/%7Eadamn/> > ======================================================================= > > -- Piotr Rudnicki http://www.cs.ualberta.ca/~piotr <http://www.cs.ualberta.ca/%7Epiotr>