[relaxng-user] jing: error: conflicting ID-types

David Carlisle davidc at nag.co.uk
Wed Oct 1 10:34:26 ICT 2003



> 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
________________________________________________________________________


More information about the relaxng-user mailing list