enable pdftex extensions with \usepackage{microtype}
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
Merge pull request #1 from HoTT/master

sync
Merge pull request #2 from Shark64/microtype

enable pdftex extensions with \usepackage{microtype}
improve notation
Merge branch 'master' into integers

Conflicts:
	errata.tex
Revert "Merge pull request #2 from Shark64/microtype"

This reverts commit 3ce7c27822ed03e6b1bec2bb74d8d0614c971754, reversing
changes made to 927c0d21cca657cf311d9419d822b5641f77f507.

keep microtype in a separate branch
Merge branch 'master' of https://github.com/HoTT/book

sync with upstream
quotation style, change /.''/ and /,''/ to /''./ and /'',/ only
remove extra spaces
fix typos, close #595
unmarked errata for 4818f12
Merge pull request #596 from mikeshulman/lemma6.12.4

fix typos, close #595
Mark Errata (auto)
Merge pull request #583 from mikeshulman/integers

fix 6.10.12, close #574 and #577