Solutions to exercises 1.1 and 1.2
Spelling

s/definional/definitional
Solution to Exercice 1.3

Either this solution or the indication that the exercise requires
concept from the second chapter is false as I only used path induction
here…
Spelling

s/inside/inner
Fixed spacing
Fix a type in section 2.14.2, close #442
errata for f50dcf3 (unmarked)
rename filtered-errata files to not clash with those posted on the web site
Merge pull request #443 from mikeshulman/transsemigrp

Fix a type in section 2.14.2, close #442
fix a misprint in the appendix by removing a pronoun
Fixing order of concatenations in thm:equiv-iso-adj.
Errata for 7ae706d, unmarked.
Remove superfluous (and erroneous) type of a path.
Errata for 56bdb4b, unmarked.
(Removing a newline.)
Correctly cite ex:sigma-assoc in proof of fibwise-fiber-total-fiber-equiv.
Errata for 49c789c, unmarked.
In thm:equiv-biinv-isequiv, correct \iscontr(f) to \ishae(f).
Errata for 64c71a4, unmarked.
Many fixes to the proof of lem:func_retract_to_fiber_retract