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/82e2c0e6-49f2-4ed5-a1b8-60299691e636%40panix.com.
