Hi David, I had a quick look at the http://us2.metamath.org pages: Most recent proofs, Theorem List (Table of Contents), some pages of the Theorem list (about the friendship theorem and my mathbox) and some single theorem pages. I had to perform a Shift-Refresh (refreshing with clearing the browser cache) before I got consistent pages. Afterwards, the theorems seem to be up to date, and the appearance of everything I looked at was fine, except the formatting of the section header of *20.34.8.10 Goldbach's conjectures* (http://us2.metamath.org:88/mpeuni/mmtheorems414.html): it is a big block of unformatted text now, compare it with the corresponding page http://us.metamath.org/mpeuni/mmtheorems410.html on http://us.metamath.org/. Please check what went wrong with this (I do not know if there are additional cases, and some other section header comments look fine...).
Alexander > > -- 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/cc72e779-f646-4494-b0b2-7e4ca236717fn%40googlegroups.com.
