On Wed, Oct 25, 2023 at 1:14 PM Gino Giotto <ginogiotto.giap...@gmail.com> wrote:
> Also, I don't know if it's just me, but if I click Recent proofs > <http://us2.metamath.org:88/mpeuni/mmrecent.html> which is in the first > box titled > *Metamath Proof Explorer* <https://us.metamath.org/mpeuni/mmset.html> > from https://us.metamath.org/ then it says: > > This site can’t be reached > > *us2.metamath.org <http://us2.metamath.org>* > took too long to respond. > That one was fixed by @tirix in https://github.com/metamath/metamath-website-seed/pull/19 , it will show up tomorrow. The floating head of wisdom just happens to be symbol-sized and styled so I missed it in the other commit. -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSsapQm0SMRaMCk7s0Go%2B3XcCNZNHKfaRyMaQdta3R0F7Q%40mail.gmail.com.
