Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

enable pdftex extensions with \usepackage{microtype} #584

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
+0 −0
Open

enable pdftex extensions with \usepackage{microtype} #584

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
70e9bc1
enable pdftex extensions with \usepackage{microtype}
Dec 8, 2013
927c0d2
Merge pull request #1 from HoTT/master
Dec 17, 2013
3ce7c27
Merge pull request #2 from Shark64/microtype
Dec 17, 2013
30a5f85
Revert "Merge pull request #2 from Shark64/microtype"
Jan 2, 2014
197f682
Merge branch 'master' into microtype
Jan 16, 2014
db0ed12
Merge remote-tracking branch 'upstream/master' into microtype
Jan 31, 2014
d93b494
Merge branch 'master' of https://github.com/HoTT/book into microtype
Feb 19, 2014
4bf7068
Merge remote-tracking branch 'upstream/master' into microtype
Jul 2, 2014
2748da2
Merge branch 'HoTT:master' into microtype
Sep 29, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' of https://github.com/HoTT/book into microtype 
sync with upstream
Shark committed Feb 19, 2014
commit d93b494fa8891f205350d2407123a90eb3a97a9b

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.