[Om] Symbol question: interval1:oriented_interval

[David Carlisle]

On 07/11/2018 06:22, Michael Kohlhase wrote:
> BTW, did you check whether there have been other regressions on the CDs?
> 
they were all the ones in cd/Official with different dates. I didn't 
check the others directories (oh also the sts probably need updating to 
match: to do...)

David

Disclaimer

The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20181107/30246873/attachment.html>