Nov 20, 2017
Note revision to fix errata.
Oct 30, 2017
Note revision to fix errata.
Oct 29, 2017
Note revision to fix errata.
Oct 27, 2017
Note revision to fix errata.
Oct 25, 2017
Document Hamayama's fixes to formatting bugs.
Oct 18, 2017
Add CSS, etc.
Jan 1, 2016
Note erratum reported by Sudarshan S Chawathe.