fix 6.10.12, close #574 and #577
fix section 8.1 to match new 6.10.12
an exercise for the other definition of Z
unmarked errata for de14e6b
one more erratum
yet another erratum
Fixed a typo in the computation rule for W-types.
Added "Fixed a tpyo in the computation rule for W-types" to the errata.
Improved errata.
...
Merge pull request #589 from mr-/master

Typo in Section 5.3 W-types.
remove spurious extra %
formatting
Mark Errata (auto)
Updated Reading_HoTT_in_Coq for Coq 8.4pl3
improve notation
Merge branch 'master' into integers

Conflicts:
	errata.tex
clarify ex 9.4, close #590
Merge pull request #592 from mikeshulman/pre2categories

clarify ex 9.4, close #590
quotation style, change /.''/ and /,''/ to /''./ and /'',/ only