[om] Re: bug in piece1.sts

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Thu Aug 14 00:38:15 CEST 2003

> 2003-08-13    <dpc at monet.nag.co.uk>
> 	* sts/piece1.sts: fix typo in cd reference (From Bill Naylor)


yet another bug in piece1.sts (or sts.ocd - take your pick!). piece1.sts
contains various references to the symbol:

   <OMS name="Piece" cd="sts"/>

cd=sts does not contain that symbol, I suggest either that the symbols in
piece1 are replaced by <OMV name="Piece"/> or that a new symbol is put in
sts.ocd. My preference is for the later.

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 mailing list