I also do not see the breakdown image. Maybe you didn't clear browser cache?
________________________________ Von: [email protected] <[email protected]> im Auftrag von BTernary Tau <[email protected]> Gesendet: Mittwoch, 25. Oktober 2023 17:58:02 An: Metamath Betreff: Re: [Metamath] Website is down I am able to see the breakdown of a proof step image, as well as the circled orange number icons. On Wednesday, October 25, 2023 at 11:35:23 AM UTC-4 Metamath wrote: It seems there are problems with pictures. For example in https://us.metamath.org/mpeuni/mmset.html scrolling down a little there is the "Breakdown of a proof step. Credit: N. Megill 2003. Public Domain." that doesn't show. Il giorno mercoledì 25 ottobre 2023 alle 16:52:47 UTC+2 Metamath ha scritto: Clicking around now...... * https://us.metamath.org/ileuni/mmil.html is up to date (missing theorems list goes to dvcn) for the first time in over a year. https://us.metamath.org/ilegif/mmil.html too. * https://us.metamath.org/mpeuni/mmset.html and https://us.metamath.org/mpegif/mmset.html include the [Bauer] reference (another litmus test for up to dateness). * https://us.metamath.org/ileuni/mmrecent.html is up to date (shows a revision from 22-Oct-2023) So looks good! Thanks for all the hard work on this. On 10/25/23 00: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]<mailto:[email protected]>. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/7eaff53f-cf22-4a6e-bdac-e98b9390b27cn%40googlegroups.com<https://groups.google.com/d/msgid/metamath/7eaff53f-cf22-4a6e-bdac-e98b9390b27cn%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/48d84c2f3b32419ab514a92cf22bdb07%40rwth-aachen.de.
