>From https://us.metamath.org/mpeuni/bezout.html I click Structured version <http://metamath.tirix.org/bezout.html> on the top right. That brings me to Tirix website. But from Tirix website clicking Unicode version <http://metamath.tirix.org/mpeuni/bezout.html> or Nearby theorems <http://metamath.tirix.org/mmtheorems142.html#bezout> gives a "Not Found" page.
(Btw Tirix website is actually very pretty, I like it a lot) Il giorno mercoledì 25 ottobre 2023 alle 19:18:04 UTC+2 Metamath ha scritto: > On Wed, Oct 25, 2023 at 1:14 PM Gino Giotto <[email protected]> > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/0899e5e9-5535-458f-b84e-afbb9824a860n%40googlegroups.com.
