[mizar] web pages of abstracts no longer updated?

[Freek Wiedijk <freek@cs.kun.nl>]

Hello,

I was going to ask this to the two Adams, but because people
say there should be more on the Mizar forum, I ask it here:

Is the file in <ftp://mizar.uwb.edu.pl/pub/jfm/jfmabstr.tar.gz>
no longer updated?

There is still the definition of "zero" in the web page of
GRCAT_1 in this tar-file, but this func is no longer in the
MML (I just updated my Mizar, and this was the first change I
stumbled upon).

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
have up to date copies of the web pages of the Mizar
abstracts.

Ah!  I just looked at the web pages-on-the-web, and they're
not updated either!  There it says:

  definition let G,H be non empty ZeroStr;
   func zero(G,H) -> map of G,H equals
  :: GRCAT_1:def 12
     (the carrier of G) --> 0.H;
  end;

but in the abstr/grcat_1.abs file it says:

  definition let G,H be non empty ZeroStr;
   func ZeroMap(G,H) -> map of G,H equals
  :: GRCAT_1:def 12
     (the carrier of G) --> 0.H;
  end;

Again: I'm a heavy user of those web pages.  Please, make
them be in synch with the system!

Freek