Also, I don't know if it's just me, but if I click Recent proofs <http://us2.metamath.org:88/mpeuni/mmrecent.html> which is in the first box titled *Metamath Proof Explorer* <https://us.metamath.org/mpeuni/mmset.html> from https://us.metamath.org/ then it says:
This site can’t be reached *us2.metamath.org* took too long to respond. But if I click (this mirror) <https://us.metamath.org/mpeuni/mmrecent.html> then it works. Il giorno mercoledì 25 ottobre 2023 alle 18:58:44 UTC+2 Metamath ha scritto: > It seems there is supposed to be an image in > https://us.metamath.org/mpeuni/mmset.html , where it says [image: The > Floating Head of Wisdom says:] *Read this section carefully to learn > how to follow a Metamath proof * > Il giorno mercoledì 25 ottobre 2023 alle 18:36:19 UTC+2 Metamath ha > scritto: > >> The images have been restored on the live site, and the corresponding >> changes to the repos are metamath-website-seed@39991733 and >> symbols@85edf428. >> >> On Wed, Oct 25, 2023 at 12:03 PM Discher, Samiro < >> [email protected]> wrote: >> >>> 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]. >>> 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 >>> >>> <https://groups.google.com/d/msgid/metamath/48d84c2f3b32419ab514a92cf22bdb07%40rwth-aachen.de?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/b311321a-edb1-4a7f-a669-9862605f6ffcn%40googlegroups.com.
