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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
