2021-01-17 23:09 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002505Frama-CDocumentation > manualspublic2020-05-07 09:28
Reporterjens 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
Product VersionFrama-C 20-Calcium 
Target VersionFixed in Version 
Summary0002505: WP manual: hyperlink in table of contents sometimes one off
DescriptionIn 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.
Additional InformationJust 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
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2020-04-16 10:50 jens New Issue
2020-05-07 09:28 maroneze Assigned To => maroneze
2020-05-07 09:28 maroneze Status new => acknowledged
+Issue History