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

Re: [mizar] Re: Mizar Parser

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Re: Mizar Parser
From: Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>
Date: Sat, 03 Aug 2002 06:54:28 +0900


Grzegorz Bancerek wrote:
> 
> It is
>   http://megrez.mizar.org/mxa/Mxa.tar.gz

Sorry, it is
  http://megrez.mizar.org/pub/mxa/Mxa.tar.gz

Grzegorz

References:
- Re: [mizar] Re: Mizar Parser
  - From: Freek Wiedijk <freek@cs.kun.nl>
- Re: [mizar] Re: Mizar Parser
  - From: Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>

Prev by Date: Re: [mizar] Re: Mizar Parser
Next by Date: Re: [mizar] A. Asperti's offer
Index(es):
- Chronological
- Thread