[Om3] CDSignatures/@cd, CDSignatures/@type: how to resolve?
Christoph LANGE
ch.lange at jacobs-university.de
Tue May 13 00:41:11 CEST 2008
Dear James, dear David, dear all,
I just realised that one of my questions remained open. Now that we can
assume that there is a CDSignatures/@cdbase or otherwise the default CD base
at openmath.org is used, …
On Friday 09 May 2008 13:28:29 Christoph LANGE wrote:
> Does it always
> make sense to assume the same CDBase both for resolving CDSignatures/@type
> and CDSignatures/@cd? For my own needs this questions is a hypothetical
> one, but still, could there be a case where the type system CD is in a
> different place?
Best,
Christoph
--
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om3/attachments/20080512/55047be8/attachment.pgp
More information about the Om3
mailing list