[om] Re: bug in piece1.sts

Professor James Davenport jhd at cs.bath.ac.uk
Wed Aug 27 17:42:26 CEST 2003

On Fri, 22 Aug 2003, Bill Naylor wrote:
> >   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,
Agreed - this is an evolving area, and we should be moving more things 
into sts.ocd. 
More discussion needed.
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