[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