Jakub Kądziołka (Jan 30 2021 at 17:40): Jakub Kądziołka (Jan 30 2021 at 17:40):Is there a better way than
section "Some section \label{foo}"
text "\cref{foo}"
?
Mathias Fleury (Jan 30 2021 at 18:01):No
Mathias Fleury (Jan 30 2021 at 18:03):Just make sure to do some sed magic to make it work with the html output too
Mathias Fleury (Jan 30 2021 at 18:04):http://cl-informatik.uibk.ac.at/software/fortissimo/cpp2021/paper.pdf, look at the checkmarks
Jakub Kądziołka (Jan 30 2021 at 18:11):uh, you mean bookmarks?
Jakub Kądziołka (Jan 30 2021 at 18:11):ah, no, the checkmarks in the definitions and lemmas
Mathias Fleury (Jan 30 2021 at 18:14):yes, exactly
Last updated: Dec 21 2024 at 16:20 UTC