Re: [mizar] "one line" form of abstracts

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

Hi Artur,

>Four, five years ago I was wondering if we should distribute such a
>version of the MML abstracts (useful for grepping). Maybe we should
>distribute a program, which will rewrite the abstracts to "one line" form
>and each user will prepare such version locally.
>I will do such a program in a few days.

Sounds interesting!  Will it also change the spacing?  I
mean: so you don't need to worry whether it's x < y or x<y.

Freek