I'm trying to reduce the pressure on you as best as I am able (given
what you say about personal issues). I totally agree you will solve the
website update problem in due course.
Your plan for the metamath book sounds right to me - I think we should
keep basically the same book with just a few tweaks as needed for things
no longer accurate and the like, rather than try to revisit in any big
way what the scope of the book is. I think you would indeed be the best
person to do it if you are able and willing at some suitable time.
On 8/15/23 09:57, David A. Wheeler wrote:
On Aug 15, 2023, at 10:15 AM, Jim Kingdon <[email protected]> wrote:
Thanks for saying something. The reference to trud (cited in your "From Td to
Ti" section) is supposed to be mptru .
This has been corrected in git -
https://github.com/metamath/set.mm/blob/dde226ae813a3024357bc5b5bccbdda0785c5fe0/mmnatded.raw.html#L277
- but has not been updated on https://us.metamath.org/mpeuni/mmnatded.html
yet, presumably due to
https://github.com/metamath/metamath-website-scripts/issues/2 concerning
website updates.
I expect this to be a temporary situation. I'm working on replacing the scripts
with something much simpler that actually completely works. Personal issues
have limited the time I've been able to spend on this, but I don't expect it to
take too long.
As for an update to the pdf , that might need to await a new volunteer or a
whole lotta patience - the last edition was done by someone who totally doesn't
have time for a new project at the moment (if I can be so bold as to say that
on his behalf).
I wonder who that could be :-).
It's true I don't have time for a new project at the *moment*, but I think we
do eventually need to update the Metamath book. My current plan is to for me to
do a mild update, with review by all, and keep Norm's name on the top (since he
wrote most of the content). I'm not sure when it'll happen, but I do plan for
it to happen eventually.
--- 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/bcfdfaa4-090b-a821-3bf9-f0ec33dbd826%40panix.com.
