>From my perspective Tirix website feels a bit "hidden" and "hard to reach", which I think it's a bit of a shame since how much potential it has. I would be happy to see it advertised more around.
Il giorno mercoledì 25 ottobre 2023 alle 19:33:01 UTC+2 Metamath ha scritto: > 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/8c574141-5856-475c-baf9-ceaded20bb72n%40googlegroups.com.
