Frama-C Bug Tracking System - Frama-C
View Issue Details
0000991Frama-CDocumentation > manualspublic2011-10-20 13:112016-06-21 14:20
Jochen 
virgile 
normaltextN/A
closedfixed 
Frama-C Nitrogen-20111001 
Frama-C Oxygen-20120901Frama-C Oxygen-20120901 
0000991: outdated manual titles
The title page of the document "acsl-implementation-Nitrogen-20111001.pdf" still says "ACSL Version 1.5 / Implementation in Carbon-20110201+dev" rather than "...Nitrogen...". The title of "jessie-tutorial-Nitrogen-20111001.pdf" still says "Jessie Plug-In Tutorial / Frama-C version: Carbon /Jessie plug-in version: 2.28" rather than "...Nitrogen...2.29". (I didn't check the rest.)
No tags attached.
Issue History
2011-10-20 13:11JochenNew Issue
2011-10-20 13:11JochenStatusnew => assigned
2011-10-20 13:11JochenAssigned To => signoles
2011-10-20 13:40signolesStatusassigned => acknowledged
2012-07-19 01:38signolesTarget Version => Frama-C Oxygen-2012xx01
2012-09-14 10:55signolesStatusacknowledged => assigned
2012-09-14 10:55signolesAssigned Tosignoles => virgile
2012-09-14 16:09signolesNote Added: 0003468
2012-09-14 16:09signolesStatusassigned => resolved
2012-09-14 16:09signolesResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:20signolesCategoryDocumentation > ACSL => Documentation > manuals

Notes
(0003468)
signoles   
2012-09-14 16:09   
ACSL implementation will be fixed with Oxygen. Jessie tutorial is already fixed.