There is a line in which a reference is inside a maths environment
(enforced by `\ensuremath`).  As these are references, they are
actually text elements so should be in `\text` commands.
Merge pull request #332 from loopspace/upstream

Put references that are in maths mode in a `\text` command
Fix definition of pair^=
clarify notation and coherence of naturality, close #331
Merge pull request #334 from rpglover64/master

Fix definition of \pairpath in section 2.6
Fix type typo in the proof of theorem 2.6.4
Merge pull request #337 from rpglover64/master

Typo in the proof of theorem 2.6.4
Fix URL to http://homotopytypetheory.org

The current URL http://www.homotopytypetheory.org is a
permanent redirect (301) to http://homotopytypetheory.org,
so the latter URL should be used instead.
Fix typo in exercise 1.4 from "C_0" to "c_0"

See also: http://homotopytypetheory.org/#comment-4259
Merge pull request #342 from vog/fix-c0

Fix typo in exercise 1.4 from "C_0" to "c_0"
Add missing "(x)" to "prd(x:A) B"
Merge pull request #345 from vog/fix-bx

Add missing "(x)" to "prd(x:A) B"
Fix #343
Merge pull request #341 from vog/fix-url

Fix URL to http://homotopytypetheory.org (this is also what's used at other places in the book)
bring errata up to date
Don't use traditional propositional notation before it's introduced, fix #346
Fix the error in Lemma 11.4.1 better, I think
typo: missing ^-1
add crossref, close #351
Merge pull request #352 from ecavallo/master

typo in proof of Definition 8.6.5