[om] Re: bug in piece1.sts

David Carlisle davidc at nag.co.uk
Thu Aug 21 12:17:48 CEST 2003


  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.


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:
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