6
votes
2answers
127 views

dtx file and history

The \changes command of DTX file is used to record changes. The \PrintChanges command print the list of change, sorted by number ... except when a number is greater than 10. To see the problem, I ...