[om] Re: bug in piece1.sts
David Carlisle
davidc at nag.co.uk
Thu Aug 21 12:17:48 CEST 2003
Bill,
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.
As there were already some occurrences of <OMV name="Piece"/> and I
don't think sts.ocd is really "my" file to change, I did the former:
2003-08-21 <dpc at monet.nag.co.uk>
* sts/piece1.sts: OMV not OMS for Piece (From Bill Naylor)
James could still of course revision the sts cd to have this symbol if
that is thought desirable.
David
________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
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