Long standing typos

[vvs]

Guys,

Will someone finally fix this annoying typo? At page 25 of Metamath's book, in footnote the root of transcendental equation should be negative, i.e. -0.7666647...

Thanks

[Mario Carneiro]

Haha, I hope the book isn't in print yet...

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1fb7f5c1-6a51-47c2-b9bc-00f02589b1aa%40googlegroups.com.

[David A. Wheeler]

> On Wed, May 29, 2019 at 12:46 PM vvs <vvs...@gmail.com> wrote:
> > Will someone finally fix this annoying typo? At page 25 of Metamath's
> > book, in footnote the root of transcendental equation should be negative,
> > i.e. -0.7666647...

On Wed, 29 May 2019 12:56:28 -0400, Mario Carneiro <di....@gmail.com> wrote:
> Haha, I hope the book isn't in print yet...

The book isn't in print yet, but it's about to be.

If there is *anything* left to fix in the book, please create issue(s) *TODAY* at:

https://github.com/metamath/metamath-book/issues

Tell us what the issue(s) are, and preferably tell us exactly what to do (e.g., "change XX into YY").

We can't fix problems we don't know about, and we're trying to wrap up the book now.

Thanks!

--- David A. Wheeler