I'm afraid tirix will have to fix that himself, I don't know where the source or hosting for that site is. (Although, I think it would be quite possible to integrate those pages into the main site now.)
On Wed, Oct 25, 2023 at 1:30 PM Gino Giotto <[email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/metamath/0899e5e9-5535-458f-b84e-afbb9824a860n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSvGHZmUD2esvuz9xaVuSOFjMn280B7kkxS65dBV1oSDFQ%40mail.gmail.com.
