All: I wanted to give everyone an update that we are making big progress on getting metamath.org updated.
Norm Megill normally generated the metamath.org site from the latest version of the set.mm repo. Norm did this by logging in to us2.metamath.org, regenerating everything, and then sending the results to metamath.org. While we'd thought we'd set things up if he passed, I couldn't log in to us2.metamath.org to get things going. I'm now logged into us2.metamath.org & I'm checking through the steps to regenerate the main site. So in the not too distant future the main site should be updated. If something goes wrong, please let me know so that Mario or I can correct it. My sincere thanks to Susan Cass, Norm's partner, for helping me regain control over the metamath systems so we can keep them going. We had started some steps to get ready for this, but the timing of Norm's passing was a surprise so we weren't as ready as I guess we should have been. I expect we'll eventually make some larger changes in the long term to keep things going. However, right now we're just trying to quickly get things working as they were. --- David A. Wheeler -- 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/BC7BF696-73DC-449C-895B-0459337FAC27%40dwheeler.com.
