Re: [mizar] Was it meant to be that way?

[Grzegorz Bancerek <bancerek@math.uwb.edu.pl>]

Piotr Rudnicki wrote:
> On Tue, Jan 27, 2004 at 04:38:41PM +0100, Grzegorz Bancerek wrote:
>
>
> > Maybe
> >   http://megrez.mizar.org/mmlquery/gab/
> >   http://megrez.mizar.org/mmlquery/gab.tgz
> > can help a bit.  But no version 7.x.xx yet.
>
>
> Connection refused, many, many times.

Sorry. I cannot improve Internet connection
between Canada and Japan. But you may try

http://alioth.uwb.edu.pl/mmlquery/gab.tgz
http://alioth.uwb.edu.pl/mmlquery/gab/

instead.

Grzegorz