Re: [mizar] Mizar 7.8.04 MML 4.80.962

[Michael Nedzelsky <MichaelNedzelsky@yandex.ru>]

Hi Adam,

On Fri, 23 Mar 2007 11:49 am, Adam Naumowicz wrote:
> Gee, a firewall preventing you from accessing anonymous FTP sites is a
> terrible thing to live behind ;-)
 :)

> 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".
Thanks!

Regards,
Michael Nedzelsky