[Om] Page with POPCORN definitions is down

[Wenzel, Ken]

Thank you. I've got an server error on archive.org related to ElasticSearch when trying to find this page 20 minutes ago :-)

Best regards,
Ken

-----Ursprüngliche Nachricht-----
Von: Om <om-bounces at openmath.org> Im Auftrag von Alberto González Palomo
Gesendet: Dienstag, 24. Mai 2022 14:11
An: om at openmath.org
Betreff: Re: [Om] Page with POPCORN definitions is down

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 at openmath.org
https://mailman.openmath.org/cgi-bin/mailman/listinfo/om