enable pdftex extensions with \usepackage{microtype}#584
Open
Shark64 wants to merge 9 commits intoHoTT:masterfrom Shark64:microtype
Commits
Commits on Dec 8, 2013
- committed
Shark64
Commits on Dec 17, 2013
- committedShark64
- committedShark64
Commits on Jan 2, 2014
- committedShark
Commits on Jan 16, 2014
- committedShark
Commits on Jan 31, 2014
Commits on Feb 19, 2014
Commits on Jul 2, 2014
Commits on Sep 29, 2021
- authoredShark64