Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
LaTeX writer: add \label's for all index keys, not just first
This change was originally added in coq project, but I am forwarding it here at request of the patch author. See coq/coq#12361 for the issue description.
- Loading branch information