[Date Prev][Date Next] [Chronological] [Thread] [Top]

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



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