News for hackers. Stuff that matters.
Re:The Future of TLA+ [pdf] by bokumo on Wednesday August 28, 2024 @03:33PM (#41383309)
What LaTeX package does one use to get the "back" link at the end of footnotes like the linked PDF exhibits?
Re:The Future of TLA+ [pdf] by gurjeet on Wednesday August 28, 2024 @03:40PM (#41383380)
Yes, that's an interesting implementation. I'm using Firefox, and the jumps to the notes and back to the paragraph are recorded in history, and has the expected effect when clicking the back and forward history arrows/buttons.
Re:The Future of TLA+ [pdf] by evomassiny on Wednesday August 28, 2024 @10:07PM (#41386532)
hyperref does this with the "\ref{}" command, it can link to any defined \label