Re: [mizar] web pages of abstracts no longer updated?

• To: <mizar-forum@mizar.uwb.edu.pl>
• Subject: Re: [mizar] web pages of abstracts no longer updated?
• From: Adam Grabowski <adam@math.uwb.edu.pl>
• Date: Wed, 31 Jul 2002 14:06:35 +0200 (CEST)

• References:
  • [mizar] web pages of abstracts no longer updated?
    • From: Freek Wiedijk <freek@cs.kun.nl>

• Prev by Date: [no subject]
• Next by Date: Re: [mizar] web pages of abstracts no longer updated?
• Index(es):
  • Chronological
  • Thread