Delimiters for pragmas
What is a pragma?
- Re: What is a pragma?
- Re: What is a pragma?
- Are pragmas always "instructions"? (was: Re: What is a pragma?)
guillemets for delimiters of pragmas.
Terminology proposals
what I learned from today's discussion of delimiters
- Re: what I learned from today's discussion of delimiters
- Re: what I learned from today's discussion of delimiters
- Re: what I learned from today's discussion of delimiters
- Re: what I learned from today's discussion of delimiters
- Re: what I learned from today's discussion of delimiters
what are pragmas for?
pointers to pragmas proposal and other material
Terminology proposals
- Re: Terminology proposals
- Re: Terminology proposals
- Re: Terminology proposals
- Re: Terminology proposals
- Re: Terminology proposals
draft agenda for ixml community group meeting 25 January 2022
namespaces on the head of a pin
two objections to the pragmas proposal
terminology, rev h
apologies
For your amusement
draft agenda for ixml community group meeting Tuesday 18 January 2022
- Minutesr ixml community group meeting Tuesday 18 January 2022
- Minutes ixml community group meeting Tuesday 18 January 2022
Pragma strawman
Revised terminology text, rev 0.e
revised text and diagram
Further thoughts on delimiter choices
- Re: Further thoughts on delimiter choices
ixml terminology.
(My) system view
github notifications
Re: [invisibleXML/ixml] Media type? (#6)
draft agenda for ixml community group meeting Tuesday 11 January 2022
- Re: draft agenda for ixml community group meeting Tuesday 11 January 2022
- Re: draft agenda for ixml community group meeting Tuesday 11 January 2022
Earley Actions
New grammar fragment for string in ixml grammar
Conformance for processors
How is ambiguity defined?
- Re: How is ambiguity defined?
- Re: How is ambiguity defined?
pragmas proposal - please read and comment
Re: ixml and non-xml output - is there an error and if so where?
Re: Does ixml have to match the whole input?
non-XML characters (e.g. #1)
- Re: non-XML characters (e.g. #1)
- Re: non-XML characters (e.g. #1)
- Re: non-XML characters (e.g. #1)
- Re: non-XML characters (e.g. #1)