Quotation style - #588

Closed

Shark64 wants to merge 6 commits into

HoTT:masterfrom

Shark64:quote-style

Commits on Dec 8, 2013

enable pdftex extensions with \usepackage{microtype}
Shark64
committed
70e9bc1

Commits on Dec 17, 2013

Merge pull request #1 from HoTT/master
Shark64
committed
927c0d2
Merge pull request #2 from Shark64/microtype
Shark64
committed
3ce7c27

Commits on Dec 18, 2013

Uniform logical quoting stile, command and period outside the quotation.
Shark
committed
70ea00b
Revert "Merge pull request #2 from Shark64/microtype"
Shark
committed
61f9052

Commits on Dec 23, 2013

Further test in quotations style, change '.)' to ').'
Shark
committed
d976b6e