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.
