Re: an extension of the mizar language for dealing with article metadata

Hi:

Piotr Rudnicki wrote:

>Hi,
>
>I suggest, following Jesse's suggestion that the entire .bib files for
>Mizar articles be incorporated into the .miz files.
>
>  
>
I am not against, I am not pro.  Could me tell me what would be the
gain, if we did it?

Regards,
Andrzej