We have one more test to go, tonight I will let it run on its own. Hopefully all the hotfixes for issues reported here will also be reflected in the updated script.
There is also a bit of remaining cleanup to do re: images in set.mm repo. All the _frege_*.svg files are duplicated in seed/mpegif/, and I think something similar is true for the other images as well. I want to move most of these files (including mmfrege.html, mmcomplex.html, mmzfcnd.html) to the seed repo because they are just static files. On Wed, Oct 25, 2023 at 2:07 PM Gino Giotto <[email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/metamath/8c574141-5856-475c-baf9-ceaded20bb72n%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/CAFXXJSsLwSchvfdDv2MP%2BLULq4HpxpUyoWLF5ePj%2BLrHEXAE7Q%40mail.gmail.com.
