[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40815: gnu: Add metamath
|
From: |
Nicolas Goaziou |
|
Subject: |
bug#40815: gnu: Add metamath |
|
Date: |
Wed, 01 Jul 2020 13:02:37 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello,
elaexuotee@wilsonb.com writes:
> I trust your initial impression on this one. Let's use the patch from my
> previous email that excises the commented out code. Does it look
> reasonable?
Certainly. I removed the book-revision and book-version bindings, since
they were not used in the current package definition, tweaked a bit the
description, and applied your patch.
I hope we can have the book either as a doc output, or as a separate
package, bundled at some point. Meanwhile, I'm closing this bug report.
Regards,
--
Nicolas Goaziou
- bug#40815: gnu: Add metamath,
Nicolas Goaziou <=