HoTT/book — pull request #588 by Shark64 (2013-12-18 15:37:21+00:00)
Title: Quotation style

Switch to logical quoting style, periods and comma at the ed of a quotation are put outside the quote.