Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002505Frama-CDocumentation > manualspublic2020-04-16 10:502020-05-07 09:28
Assigned Tomaroneze 
PlatformOSOS Version
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, 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- 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

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker