I've been clicking stuff randomly for a while now, this is what I found: >From https://us.metamath.org/ the mmsolitaire.tar.gz <https://us.metamath.org/downloads/mmsolitaire.tar.gz> , mpeuni.tar.gz <https://us.metamath.org/downloads/mpeuni.tar.gz> , qleuni.tar.gz <https://us.metamath.org/downloads/qleuni.tar.gz> and symbols.tar.gz <https://us.metamath.org/downloads/symbols.tar.gz> links give a 404.
>From https://us.metamath.org/copyright.html#pd the GNU General Public License <https://us.metamath.org/LICENSE.TXT> link gives a 404. >From https://us.metamath.org/mm.html the chinese mirror doesn't work cn.metamath.org <http://cn.metamath.org/index.html> (is it because I'm not in china?). Il giorno mercoledì 25 ottobre 2023 alle 20:25:42 UTC+2 Metamath ha scritto: > 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/5e3f35cb-bb4e-4ab0-b607-8408857c14d6n%40googlegroups.com.
