[Om] More CD inconsistencies

[Arjeh Cohen]

Most of these are experimental and David Carlisle's solution for these
seems appropriate.  A more pressing question to my mind is which are
going to be official?  Don't we want to contact groups that are active
with these CDs, like the intergeo people, who are reviewing planar
geometry?

Arjeh



On Tue, Nov 04, 2008 at 05:02:39PM +0100, Christoph LANGE wrote:
> 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>
> plangeo5.ocd:
> <CDURL>http://www.win.tue.nl/~amc/oz/om/cds/plangeo5.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?
> 
> Cheers,
> 
> Christoph
> 
> -- 
> Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
> 



> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om