> 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/BE71EB7E-2062-4BA2-93B5-0D69FDD01C4F%40dwheeler.com.
