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

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



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.

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
http://web.cs.ualberta.ca/~piotr