[Date Prev][Date Next] [Chronological] [Thread] [Top]

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

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] an extension of the mizar language for dealing with article metadata
From: trybulec <trybulec@math.uwb.edu.pl>
Date: Wed, 26 Nov 2008 14:14:28 +0100

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 thegain, if we did it?


Regards,
Andrzej

Follow-Ups:
- Re: [mizar] an extension of the mizar language for dealing with article metadata
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

References:
- [mizar] an extension of the mizar language for dealing with article metadata
  - From: Jesse Alama <alama@stanford.edu>
- Re: [mizar] an extension of the mizar language for dealing with article metadata
  - From: Piotr Rudnicki <piotr@cs.ualberta.ca>

Prev by Date: Re: [mizar] an extension of the mizar language for dealing with article metadata
Next by Date: Re: [mizar] an extension of the mizar language for dealing with article metadata
Index(es):
- Chronological
- Thread