[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