ext-rep examples

[Peter Dobcsanyi]

On Fri, Jul 18, 2003 at 10:27:13AM +0100, Leonard Soicher wrote:
> Today I shall be writing a standard example maker.  This will allow
> consistent updating and addition to my examples, with consistent file
> naming.

I think it is an excellent idea.

> Regarding empty tags, my GAP writer writes 
> 
>                 <entire_domain/>
> 
> which is expanded by the pretty-printer to
> 
> 	        <entire_domain>
>                	</entire_domain>

Yes, since the parser recognizes a start- and and end-tag in one step.
I will modify xrpp to output the compact format only.

> BTW, do we really need the space in <entire_domain /> ?

No we do not. In details:

    <entire_domain />		OK
    <entire_domain/>		OK

    <entire_domain/ >		wrong
    <entire_domain / >		wrong

--             ,
    Peter Dobcsanyi