[om] Re: [om-a] Updated OpenMath Content Dictionary Distribution
strotman at cs.fsu.edu
Tue Jul 18 22:37:55 CEST 2000
Thank you, David.
I have a quick comment, and I'm sure you have been discussing it
You moved several symbols from one CD to another (e.g. "conjugate" from
arith1 to complex1).
I'm not sure it's a good idea to remove the symbol from the "old" CD
altogether. I'd prefer a solution where in the above example the new
version of the arith1 CD contained some notification that the "conjugate"
symbol has been deprecated, and that it should be translated to
(cd=complex1,name=conjugate), the idea being that this can then be used
for automatic upgrading of OpenMath software, and for improving
"The act of defending any of the cardinal virtues has today
all the exhilaration of a vice." -
G.K.Chesterton: A Defense of Humilities, The Defendant, 1901
On Mon, 17 Jul 2000, David Carlisle wrote:
> I am pleased to be able to announce a new release of the core set of
> OpenMath Content Dictionaries, available from the following URL
> http://www.openmath.org/cd (USA)
> http://www.nag.co.uk/projects/openmath/omsoc/cd (UK)
> These CD include many improvements since the previous public release,
> including many more examples and properties specified. They
> also incorporate changes required to keep the "MathML" CD Group
> aligned with the emerging MathML2 draft Recommendation of the W3C.
> As always, comments welcome, either on om at openmath.org or
> in private mail.
> David Carlisle
> ESPRIT OpenMath Consortium
> om-announce at openmath.org - public announcements concerning OpenMath
> Post discussion to om at openmath.org
> Automatic list maintenance software at majordomo at openmath.org
> Mail om-announce-owner at openmath.org for assistance with any problems
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
More information about the Om