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.
_______________________________________________ Om mailing list Om@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
