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
