HoTT/book — pull request #426 by mikeshulman (2013-07-25 20:18:43+00:00)
Title: A script to filter the errata

In case you want to print out only a list of the errata that apply to a particular version (leaving out the ones that were already corrected in that version), this script will create a special version of the errata file for you.