Re: jing: error: conflicting ID-types

> Don't you want non-OpenMath elements to be able to contain valid 
> OpenMath elements as descendants? 


Yes thanks, I noticed that. I'm not sure that I do, to be honest.

However this is more a language design issue rather than a relax
question. It's now clear that whatever I decide here I can express it in
relax, so I'm happy.

>  In any case, don't you want a * on 
> the reference to notom in the definition of notom?

er, yes:-)

David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________