> > On Mon, Dec 6, 2021 at 3:00 PM David A. Wheeler <[email protected]> > wrote: > >> >> I would prefer simply moving this history into its own file & keep it in >> the repo. >> Having a canonical source of info can be useful, but we don't need to >> re-read it in every verification run, >> and it creates a HUGE number of lines that are useless for many. >> >> I made this proposal already in 2019, see https://groups.google.com/g/metamath/c/XPYuatviNV0/m/brh1f_76CQAJ, and Norm argued against it in https://groups.google.com/g/metamath/c/XPYuatviNV0/m/1Terj6AYCgAJ.
-- 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/bfffd0c1-85bf-4613-8610-16afb8ac27d1n%40googlegroups.com.
