Re: [mizar] Mizar 7.8.04 MML 4.80.962

[Michael Nedzelsky <MichaelNedzelsky@yandex.ru>]

Hi all!

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.
May be wiki.mizar.org is a good place for it?

Michael Nedzelsky

On Fri, 23 Mar 2007 01:03 am, Adam Grabowski wrote:
>    Dear Mizar Users,
>    this is to inform you that the new release of the Mizar Mathematical
> Library (4.80.962) is now available together with the system binaries
> (ver. 7.8.04) for all supported platforms. Underlying links can be find
> on our main home page (http://mizar.uwb.edu.pl and http://mizar.org).
>    If you encounter any troubles with the use of this brand new version,
> you can contact mml or mus at mizar.uwb.edu.pl.
>    Regards,
>    Adam Grabowski
>    Library Committee of the Association of Mizar Users