On the https://us.metamath.org/mmsolitaire/mms.html webpage, when it says " [image: <->] (double arrow): logically equivalent to" there seems to be a missing picture.
Il giorno domenica 29 ottobre 2023 alle 03:46:02 UTC+1 [email protected] ha scritto: > On Wed, Oct 25, 2023 at 3:46 PM Gino Giotto <[email protected]> > wrote: > >> From https://us.metamath.org/copyright.html#pd the GNU General Public >> License <https://us.metamath.org/LICENSE.TXT> link gives a 404. > > > The top level LICENSE.TXT has been removed, as the web site is PD not > GPLv2 (except for some enumerated exceptions) and this positioning of the > license was misleading. The script used to copy this LICENSE.TXT into > mmsolitaire/ and metamath/, but metamath/ is now being handled separately > (the metamath-exe repo) and mmsolitaire already has this file, so the > copies are no longer necessary. I think it would make the most sense to > just point to > https://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html#SEC1 in that > link rather than use a local copy. > -- 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/ee5cb20c-ab52-4d2b-9b4b-ab67bf0c27fdn%40googlegroups.com.
