> 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.
