On 24/05/2022 12:45, Wenzel, Ken wrote: Dear community,
unfortunately the page http://java.symcomp.org/FormalPopcorn.html<https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fjava.symcomp.org%2FFormalPopcorn.html&data=05%7C01%7Cdavid.carlisle%40nag.co.uk%7Cff9a917d9fd64eea39cc08da3d7ade5f%7Ce7971626b996462eb3c9bbba3a50d55d%7C1%7C0%7C637889896559837712%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000%7C%7C%7C&sdata=PHifqKwP4oSkwjpB032kKukj6swODFAKfT88CaGNjh4%3D&reserved=0> is down. Can anybody help to get the contents? Thank you and best regards, Ken I updated both links to popcorn at https://openmath.org/technical/#various-related-standards-and-specifications to the wayback machine copy https://web.archive.org/web/20150822191347if_/http://java.symcomp.org:80/FormalPopcorn.html David Disclaimer The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: 30 St. Giles, Oxford, OX1 3LE, United Kingdom. Please see our Privacy Notice <https://www.nag.com/content/privacy-notice> for information on how we process personal data and for details of how to stop or limit communications from us. This e-mail has been scanned for all viruses and malware by Microsoft Exchange Online (EOP)
_______________________________________________ Om mailing list Om@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
