[Om] More CD inconsistencies

Christoph LANGE ch.lange at jacobs-university.de
Tue Nov 4 17:02:39 CET 2008

Dear all,

  now that I'm importing the OpenMath 2 CDs into the wiki, I realise more
inconsistencies.  Consider, for example, the CDURLs given in the following
"standard" CDs:

cc.ocd:    <CDURL> http://www.openmath.org/cd/ecc.ocd </CDURL>
directives1.ocd:   <CDURL>
http://www.riaca.win.tue.nl/cds/directives/directives1.ocd </CDURL>
ecc.ocd:    <CDURL> http://http://www.openmath.org/cd/ecc.ocd </CDURL>
polyr.ocd:   <CDURL> http://www.openmath.org/cd/polyd.ocd </CDURL>

That is just an example; I could imagine that much more is wrong in these CDs.

How should we handle these cases?



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/om/attachments/20081104/067e57a8/attachment.pgp 

More information about the Om mailing list