Hi Paul, Paul Libbrecht wrote:
- I think you should refer to the RFC template you use, please see the mailing list archive
OK, thanks. I'll take a look.
- I think the change controller should be the association of Mizar users', as an institution with an address, and not the name of a person; an email can complement it for sure!
This wasn't clear to me when I was filling out the form at http://www.iana.org/cgi-bin/mediatypes.pl Item 13 in the form says "Person to contact for further information" with a link to RFC 4288, section 4.9. The Association of Mizar Users is definitely the best entity to put here. It is in charge of maintaining the mizar language and its suite of tools, and has, moreover, an email address (which is what I actually included when I filled out the form). I named Adam Naumowicz, a long-time member of the Association of Mizar Users and one of the core developers of Mizar, only because I was literally interpreting the request of the form. In fact, when I came to this part of the form, I was puzzled, so I asked Adam which of the core developers of Mizar (i.e., which person) would be suitable, he named a few candidates (he listed himself), so I put him down.
- type and subtypes are commonly lowercase... why not continue so?
You're right that they should be lowercase ("text", "mizar"). This again is a consequence of the form http://www.iana.org/cgi-bin/mediatypes.pl You can see for yourself that "Text" is one of the options, not "text". I suppose I put down "Mizar" just for the sake of parallelism, but in any case it should be "mizar".
- 8bit... is there a charset there?
I'm not sure I understand; can you say more? Valid mizar texts, these days, are pure ASCII, but they weren't always so and there's no guarantee that they will always be so. I put down 8-bit just to be on the safe side. Perhaps I'm getting something wrong here; let me know.
- can the specification be indicated with a publicly accessible URL?
One candidate might be http://www.mizar.org/language/ which gives some information about the language. Adam, do you have a better suggestion here?
- and finally the personal suggestion: I know Mizar is intended to be manipulated by text editors. Could you add two lines in the additional information that say something such as: - Window clipboard flavor: "Mizar" - Macintosh Uniform Type Identifier: "org.mizar" conforms to "public.text" this way applications can offer fragments in multiple formats on the clipboard, one of them, say, being RTF and the other Mizar, for different objectives.
Nice spot. Your suggestions look fine to me. Best, Jesse -- Jesse Alama http://centria.di.fct.unl.pt/~alama/