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

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

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Was it meant to be that way?
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Wed, 28 Jan 2004 17:17:39 -0700

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

Follow-Ups:
- Re: [mizar] Was it meant to be that way?
  - From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>

References:
- Re: [mizar] Was it meant to be that way?
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Was it meant to be that way?
  - From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>

Prev by Date: [mizar] Theorem Proving in Russia
Next by Date: Re: [mizar] Was it meant to be that way?
Index(es):
- Chronological
- Thread