[om] OpenMath Schema

Olga Caprotti caprotti at risc.uni-linz.ac.at
Mon Jun 25 10:38:26 CEST 2001


Thank you for the many replies.


J H Davenport wrote:
> 
> On Tue, 19 Jun 2001, Olga Caprotti wrote:
> 
> > Has anyone written an XSD Schema for OpenMath?
> I haven't heard of one: I'm not even sure what XSD is.
> James
> 

Sorry for the confusion I caused with XSD. XSD stands for 
XML Schema Definition, I have seen it used as file extension 
for XML Schema files (so, *.xsd instead of *.xml).


Michael Kohlhase wrote:
> 
> Dear All,
> 
> I have a variant of an OpenMath Schema as a part of the OMDoc schema. I
> think that I could generate one quite easily.
> 
> Olga, if you are interested, I will do that and subbmit it for review.
> 
>      Michael
> 

Michael, yes, I have seen your version - I think it would be good to 
make it available for comments and review.

Thank you
Olga
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems



More information about the Om mailing list