Thanks! That page now loads Ok, even though "most recent" shows theorems from 24-Sep-2023.
The link on the home page https://us.metamath.org/ still points tohttp://us2.metamath.org:88/mpeuni/mmrecent.html but that's a different issue. On 25/10/2023 10:10, Mario Carneiro wrote:
should be fixed now On Wed, Oct 25, 2023 at 3:39 AM Thierry Arnoux <[email protected]> wrote: 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/1e370a35-2d12-46a2-9884-eade4a853be4%40gmx.net.
