Closed hlapp closed 9 years ago
This tries to take the changes in the manuscript text into account and applies corresponding highlights and emphases.
(Note that this necessarily also contains the commits from PRs #106 and #109. You may want to merge those first.)
This tries to take the changes in the manuscript text into account and applies corresponding highlights and emphases.
(Note that this necessarily also contains the commits from PRs #106 and #109. You may want to merge those first.)