diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2024-02-13 19:30:14 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2024-02-13 19:32:12 -0800 |
| commit | cf847b0138e07f8e0f009d7eb3f21a0e18d8708b (patch) | |
| tree | 37fb3958e15db6fe9c8961d62c7ed2db2734d8c6 /stack.yaml | |
| parent | 02b6483b7c4a671a2c4d86ef7f292dbe0b2d4b23 (diff) | |
LaTeX reader: improve treatment of cref, Cref.
Associate with `\cref` and `\Cref` the reference-type `ref+label` and
`ref+Label`. So far we don't do anything fancy with these.
Also, associate with `\vref` `ref` instead of `ref+page`.
See #7463.
Diffstat (limited to 'stack.yaml')
0 files changed, 0 insertions, 0 deletions
