HoTT/book — pull request #382 by zhenlin (2013-07-04 23:50:29+00:00)
Title: Correction to fix for issue #379

The previous patch had a bug; this removes the printing of the old section number from the section mark for exercises/notes.