https://us.metamath.org/mpeuni/mmrecent.html
Still throws a 404. On 25/10/2023 09:33, Mario Carneiro wrote:
Sorry about that, I chose the wrong time to test the new website build process and the cron job started running in the middle of it, and unfortunately killing the cron job just made it copy an empty website to the live site. Things should be back up now. On that note, what is now up is the new website build, so everyone please try clicking around and make sure everything seems to be working (not just theorem pages but also links to the downloads and other stuff on the homepage, the GIF and UNI directories for all five supported databases, and the symbols and mmsolitaire pages). On Wed, Oct 25, 2023 at 3:28 AM Rohan Ridenour <[email protected]> wrote: https://us.metamath.org/ 403s, other pages 404. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/bddc8891-7fae-467b-b794-ca84f2681fc8n%40googlegroups.com <https://groups.google.com/d/msgid/metamath/bddc8891-7fae-467b-b794-ca84f2681fc8n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSvt7E89qnTKXTppUv1Awsy5SCB-YiBbDBHYfn-hGr%2B7HQ%40mail.gmail.com <https://groups.google.com/d/msgid/metamath/CAFXXJSvt7E89qnTKXTppUv1Awsy5SCB-YiBbDBHYfn-hGr%2B7HQ%40mail.gmail.com?utm_medium=email&utm_source=footer>.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5a6aa492-7812-4fd5-939a-a9c5809829cb%40gmx.net.
