On Tuesday, January 18, 2022 at 8:51:23 PM UTC+1 Alexander van der Vekens wrote:
> 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...). > > Forget about my remark about section *20.34.8.10 Goldbach's conjectures* - I think it is my mistake: I added a glossary as html table, and this may have caused the text before it to be displayed unformatted. Maybe I have to provide the whole comment as html... 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/b33700b8-1470-4b35-9420-548963ae293en%40googlegroups.com.
