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 > [email protected] > http://openmath.org/mailman/listinfo/om _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
