HoTT/book — pull request #593 by Shark64 (2014-01-02 23:45:45+00:00)
Title: Quotation style second try

As Andrej asked i've reverted #2 in this branch and only applied the regexp to switch commas and periods outside the closing quote.
I'm new to all this git's wizardry with branching and revert so please make sure i've not made some silly mistakes.