A script to automatically check whether label numbers have changed
Fix a typo: "Athough"
Merge pull request #373 from rwbarton/section-A.4

Fix a typo: "Athough"
Typo in 1.6: f out of scope, should have been g

The variable f is bound on the right-hand side, and is instantiated with
an expression containing g. Thus, post-substitution, the expression
should contain g, and not f.
Consistent ordering: 0_2 then 1_2; close #357
add 433f87e to errata
instructions for "make labelcheck" and errata numbers in CONTRIBUTING.md
add 7fdadbf to errata
Merge pull request #374 from gelisam/master

Typo in 1.6, f instead of g when verifying that ac is well-typed.
more specific erratum for 7fdadbf
more specific description of columns in the errata file
Merge pull request #371 from mikeshulman/labelcheck

A script to automatically check whether label numbers have changed
Merge pull request #375 from mikeshulman/bool01

Consistent ordering: 0_2 then 1_2; close #357
Word transposition.
Merge remote-tracking branch 'upstream/master'
Merge pull request #377 from derekelkins/master

Minor word transposition in HIT chapter.
Fix for issue #379.
Removed the printing of the old section number from the section mark for the exercises/notes.
Remove a stray period in proof of Lemma 10.1.4
Correct punctuation of a parenthetical sentence