[Om] Page with POPCORN definitions is down

[David Carlisle]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20220525/00d29676/attachment.htm>