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 <[email protected]> Im Auftrag von Alberto González Palomo Gesendet: Dienstag, 24. Mai 2022 14:11 An: [email protected] 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 [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om _______________________________________________ Om mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
