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

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

Dear Adam,

>It is in sync now, I believe. I will try to make jfmabstr
>follow the current versions of Mizar system, not the JFM.

That would be wonderful!  I only need those .abs.html files
(not all the ps and pdf stuff) but I need those a lot!  I
have tried to write proofs when the .abs.html pages still
contained the "old" REAL_1 and REAL_2 but the MML already had
the new ones.  It was hell!

Freek