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

[Adam Grabowski <adam@math.uwb.edu.pl>]

On Tue, 30 Jul 2002, Freek Wiedijk wrote:

> Is the file in <ftp://mizar.uwb.edu.pl/pub/jfm/jfmabstr.tar.gz>
> no longer updated?
  It is updated, but it is based on the Journal of Formalized
Mathematics files which aren't updated so often...
>
> I heavily rely on this jfmabstr tar-file.  I would like it
> very much to be updated!  It's a great handicap for me to not
  It is in sync now, I believe. I will try to make
jfmabstr follow the current versions of Mizar system,
not the JFM.

  Adam Grabowski