[om] OpenMath namespace

[Michael Kohlhase]

Dear all,

I remember that there was a dispute over the correct OpenMath namespace a
while ago. Has there  been a consensus on that? 

>From my archive, I can only see that the discussion petered out, with the
suggestion of http://www.openmath.org, but David arguing against it, and
for http://www.openmath.org/OpenMath.

As I want to include it for the OMOBJ element in my OMDoc standard (to be
released today; "why-oh-why do people always consider the important issues
on the deadline"), I would like to do it right. 

     Michael

BTW, this might also be an issue that should be discussed on the OpenMath
web pages.

--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems