found 543548 coq-doc/8.4pl4-2
forwarded 543548 https://coq.inria.fr/bugs/show_bug.cgi?id=5636
thanks
Hi,
as others have noticed, the reference manual contains the
bookmarks and the links for some while already. However, the FAQ,
the Tutorial and the RecTutorial do not.
Hendrik
Package: coq-doc-pdf
Version: 8.1-3
Severity: wishlist
It would be much nicer to read the documentation if the PDFs contained
bookmarks for each table of contents entry, and the table of content
entries (and footnotes and reference, etc) were clickable PDF internal
links.
Just adding \usepackage{
2 matches
Mail list logo