On Sunday, January 23, 2022 at 11:39:19 PM UTC+1 ookami wrote: > As for the German site: It exists as well, see > http://de.metamath.org/mpeuni/mmrecent.html. Note that it was last > updated on 25-Oct-2021, So this seems to be refreshed infrequently only.
But it is not contained/mentioned on the mirror page http://us.metamath.org/mm.html, and even not on http://de.metamath.org/mm.html. It should be added there. -- 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/9be4ea7c-109d-44dd-a151-0a71794d6fb2n%40googlegroups.com.
