Merged.
If someone who knows more about pmproofs.txt than I do has anything to
say, speak up. But this seems like an improvement, so I went ahead and
merged it.
On 3/20/25 10:14, [email protected] wrote:
Insofar there are no objections, could someone with permissions merge
the pull request
<https://github.com/metamath/metamath-website-seed/pull/29>?
David A. Wheeler schrieb am Mittwoch, 26. Februar 2025 um 16:32:59 UTC+1:
> On Feb 26, 2025, at 5:57 AM, [email protected]
<[email protected]> wrote:
>
> As previously announced, I created some big improvements for our
proof minimization challenges.
Fantastic! Thanks for working on this!
--- 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 visit
https://groups.google.com/d/msgid/metamath/285ea5ac-15e0-491b-8a98-5736d9f1108dn%40googlegroups.com
<https://groups.google.com/d/msgid/metamath/285ea5ac-15e0-491b-8a98-5736d9f1108dn%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
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 visit
https://groups.google.com/d/msgid/metamath/96b94cd0-d7ab-45a7-9c13-b84660a7dca1%40panix.com.
