
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body>

<div class="moz-cite-prefix">On 24/05/2022 12:45, Wenzel, Ken wrote:<br>

</div>

<blockquote type="cite" cite="mid:e34377c9fa5e40a381aa44180418ae72@iwu.fraunhofer.de">

<p class="MsoNormal">Dear community,<o:p></o:p></p>

<p class="MsoNormal"><o:p> </o:p></p>

<p class="MsoNormal">unfortunately the page<o:p></o:p></p>

<p class="MsoNormal"><o:p> </o:p></p>

<p class="MsoNormal"><span style="font-size:9.0pt;font-family:Consolas;color:#6E7781;background:white"><a href="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" originalsrc="http://java.symcomp.org/FormalPopcorn.html" shash="DSZAJBZsQu/Fa0GdpAPswp7BuZ9/gfj/ZQ4ZKGnELcXZpfcvPHwl8G27c62eVRMIGy4pUjsnyg1UKSHdjqpqbq1grYs58HXRMAnbpQBirH47frzkPZWCPpO+svrS2zM/Zfusp/KDr6d+Bs3hY0pPexbYUAPY7WP8Ic6zYlW5rrc=" moz-do-not-send="true">http://java.symcomp.org/FormalPopcorn.html</a></span><span style="font-size:9.0pt;font-family:Consolas;background:white"><o:p></o:p></span></p>

<p class="MsoNormal"><o:p> </o:p></p>

<p class="MsoNormal"><span lang="EN-GB">is down. Can anybody help to get the contents?<o:p></o:p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Thank you and best regards,<o:p></o:p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Ken<o:p></o:p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>

</blockquote>

<p>I updated both links to popcorn at</p>

<p><a class="moz-txt-link-freetext" href="https://openmath.org/technical/#various-related-standards-and-specifications">https://openmath.org/technical/#various-related-standards-and-specifications</a></p>

<p><br>

</p>

<p>to the wayback machine copy</p>

<p><br>

</p>

<p><a class="moz-txt-link-freetext" href="https://web.archive.org/web/20150822191347if_/http://java.symcomp.org:80/FormalPopcorn.html">https://web.archive.org/web/20150822191347if_/http://java.symcomp.org:80/FormalPopcorn.html</a></p>

<p><br>

</p>

<p>David</p>

<p><br>

</p>

<p><br>

</p>

<p><br>

</p>

<style type="text/css">.style1 {font-family: "Times New Roman";}</style><mc type="body"><br>

<br>

<p style="font-family: Verdana; font-size:10pt; color:#666666;"><b>Disclaimer</b></p>

<p style="font-family: Verdana; font-size:8pt; color:#666666;">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

<a href="https://www.nag.com/content/privacy-notice">Privacy Notice </a>for information on how we process personal data and for details of how to stop or limit communications from us.<br>

<br>

This e-mail has been scanned for all viruses and malware by Microsoft Exchange Online (EOP)</p>

</body>

</html>