« Return to Thread: an extension of the mizar language for dealing with article metadata

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

by trybulec :: Rate this Message:

Reply to Author | View in Thread

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

 « Return to Thread: an extension of the mizar language for dealing with article metadata