[om] Re: bug in piece1.sts

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Fri Aug 22 00:11:54 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.

I think that this is currently the best way to go, though I also believe
that a much more complete version of sts.ocd, with a new set of sts files
which referenced the symbols held in this complete sts cd (instead of the
current OMVs) would be valuable,


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