Stream: Beginner Questions

Topic: LaTeX cross-references in Isabelle documents


view this post on Zulip Jakub Kądziołka (Jan 30 2021 at 17:40):

Is there a better way than

section "Some section \label{foo}"

text "\cref{foo}"

?

view this post on Zulip Mathias Fleury (Jan 30 2021 at 18:01):

No

view this post on Zulip 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

view this post on Zulip Mathias Fleury (Jan 30 2021 at 18:04):

http://cl-informatik.uibk.ac.at/software/fortissimo/cpp2021/paper.pdf, look at the checkmarks

view this post on Zulip Jakub Kądziołka (Jan 30 2021 at 18:11):

uh, you mean bookmarks?

view this post on Zulip Jakub Kądziołka (Jan 30 2021 at 18:11):

ah, no, the checkmarks in the definitions and lemmas

view this post on Zulip Mathias Fleury (Jan 30 2021 at 18:14):

yes, exactly


Last updated: Mar 28 2024 at 20:16 UTC