[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,

cheers,

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