A script to filter errata for only changes made since a particular version.
slighty nicer title
clarify endpointedness of paths, close #423 and #425
add e4390a0 to errata (unmarked)
close #424
add 4630c21 to errata (unmarked)
fix notation in 2.1.8, close #420
add 3dde7c5 to errata (unmarked)
oops
Add funext note to Exercise 1.6, close #416
add 941db0c to errata (unmarked)
Say "path induction" rather than "identity elimination" in 2.1.4, close #414.

I don't think this needs an erratum.
add loop space to symbol index, close #418
Exercise 11.13 is the IVT, not the MVT
add 0894231 to errata (unmarked)
Merge pull request #433 from mikeshulman/ivt

Exercise 11.13 is the IVT, not the MVT
Merge pull request #432 from mikeshulman/ilsymind

add loop space to symbol index, close #418
Merge pull request #431 from mikeshulman/idelim

Say "path induction" rather than "identity elimination" in 2.1.4, close ...
Merge pull request #430 from mikeshulman/exercise-1.6

Add funext note to Exercise 1.6, close #416
Merge pull request #429 from mikeshulman/def-2.1.8

fix notation in 2.1.8, close #420