Re: [Om] Page with POPCORN definitions is down

Tue, 24 May 2022 05:12:19 -0700 

Wenzel, Ken wrote on 24/5/22 at 13:45:

Dear community,

unfortunately the page

http://java.symcomp.org/FormalPopcorn.html 
<http://java.symcomp.org/FormalPopcorn.html>

is down. Can anybody help to get the contents?


  There is a copy from 2015 in the WayBack Machine of the Internet Archive:

https://web.archive.org/web/20150822191347/https://java.symcomp.org/FormalPopcorn.html

  Cheers,
--
    Alberto González Palomo
    Toledo, España / Saarbrücken, Deutschland
    https://matracas.org
_______________________________________________
Om mailing list
Om@openmath.org
https://mailman.openmath.org/cgi-bin/mailman/listinfo/om

Reply via email to