Frama-C Bug Tracking System - Frama-C |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0002505 | Frama-C | Documentation > manuals | public | 2020-04-16 10:50 | 2020-05-07 09:28 |
|
| Reporter | jens | |
| Assigned To | maroneze | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | acknowledged | Resolution | open | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C 20-Calcium | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0002505: WP manual: hyperlink in table of contents sometimes one off |
| Description | 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. |
| Steps To Reproduce | |
| Additional Information | 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 |
| Tags | No tags attached. |
| Relationships | |
| Attached Files | |
|
| 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 |