The latest paperback version of this book
(see Ordering Information)
is the Third Edition, which corresponds to svn version 18.
There are currently no errata for the paperback version of this book.
Feel free to report errors on
the acl2-help
mailing list.