I'm not sure the list pulls its weight. If we had a tool that could read it (and check it for machine readability errors) then I might feel differently, but as it is now it's just a huge maintenance overhead for very little gain.
On Mon, Dec 6, 2021 at 3:00 PM David A. Wheeler <[email protected]> wrote: > > > > On Dec 5, 2021, at 5:48 PM, Norman Megill <[email protected]> wrote: > > > > I agree that we don't need to keep a complete history of all theorems > moved from mathboxes. Sometimes I have found it useful to know the recent > ones to be aware of changes made to the main part. Perhaps we could have a > policy of deleting the ones over say 1 year old like we do for *OLD > theorems? > > 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. > > --- David A. Wheeler > > -- > 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/B212880D-D3E4-4515-AD28-1BED26048B27%40dwheeler.com > . > -- 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/CAFXXJSsEgCzEmEP-yNdXWxVGH%3D5gHfRcN21U-UEHnt1qgr073g%40mail.gmail.com.
