Frama-C Bug Tracking System - Frama-C
View Issue Details
0002505Frama-CDocumentation > manualspublic2020-04-16 10:502020-05-07 09:28
jens 
maroneze 
normalminoralways
acknowledgedopen 
Frama-C 20-Calcium 
 
0002505: WP manual: hyperlink in table of contents sometimes one off
In the WP manual at http://frama-c.com/download/wp-manual-20.0-Calcium.pdf, Section 2.4.8 ("Generated Proof Obligations") starts at Page 37. However, the link in the table of contents points to Page 36.
Just a guess: You are probably using the package hyperref. I have read several times (and experienced it myself) that it is a good idea to include this packet at the end. https://tex.stackexchange.com/questions/1863/which-packages-should-be-loaded-after-hyperref-instead-of-before
No tags attached.
Issue History
2020-04-16 10:50jensNew Issue
2020-05-07 09:28maronezeAssigned To => maroneze
2020-05-07 09:28maronezeStatusnew => acknowledged

There are no notes attached to this issue.