Commit 473bcbcad32e9e320a7a5c111cefd0d8ad570245

Tom Tromey 2015-11-07T12:01:06

documentation fixes Fixes #78. Documentation for #33 and #35, but no fix.