Dear all, I noticed one more inconsistency in the way we currently give additional information about symbols defined in CDs, namely signature dictionaries and notation dictionaries point to “their” content dictionaries in different ways. For signature dictionaries it looks like this (assuming the consensus from the previous discussions on that topic):
<CDSignatures cdbase="mybase" cd="mycd" type="...">
<Signature name="symbolname">
<!-- points to the symbol (mybase, mycd, symbolname) -->
</Signature>
</CDSignatures>
And now for notation dictionaries:
<notations>
<notation cdbase="mybase" cd="mycd" name="symbolname">
<!-- points to the symbol (mybase, mycd, symbolname) -->
</notation>
</notations>
I think we should settle on one of these ways. (I don't care which one.) What
do you think about that?
Best,
Christoph
--
Christoph Lange, DERI Galway/Jacobs Univ. Bremen, http://kwarc.info/clange
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
