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

[Artur Kornilowicz <arturk@math.uwb.edu.pl>]

On Thu, 8 Aug 2002, Freek Wiedijk wrote:

> 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?



Yes.


Artur


> I mean: so you don't need to worry whether it's x < y or x<y.
>
> Freek