Re: [mizar] Mizar 7.8.04 MML 4.80.962

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Hi Michael,

On Fri, 23 Mar 2007, Michael Nedzelsky wrote:

> Is it possible to download the new release (Windows and Linux (i386) versions)
> via http?
> I am behind a firewall. I used www.web2ftp.com for download previous versions,
> but now this service is deactivated.

Gee, a firewall preventing you from accessing anonymous FTP sites is a 
terrible thing to live behind ;-)

> May be wiki.mizar.org is a good place for it?

I've created a symlink to the FTP space within my WWW user dir:

http://mizar.uwb.edu.pl/~softadm/current/

> From now on it will point to current versions. Please note that this part 
of the main Mizar site is not supposed to be mirrored by our mirrors like 
"mizar.org" etc., so it will only work with "mizar.uwb.edu.pl".

Best,

Adam Naumowicz

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================