Great news! Thank you for all the effort you put into this.
Glauco Il giorno lunedì 17 gennaio 2022 alle 21:47:25 UTC+1 David A. Wheeler ha scritto: > 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/dde2bb4a-2ad5-453d-bb6c-823270e4a931n%40googlegroups.com.
