Deprecated screenshots in "Help" documentation (part "Library").
Problem:
The toolbar buttons “Contract Specification”, “Semantic Inspector”,
“CProver Analyses”, “Non-determinism Analyses”, “Assume Guarantee
Reasoning”, “Analyses Master”, “Tabular Specification Analyses”, and
“MSC Conformity” were removed, but in description screenshots were not
changed (see attach).
Source:
AF3 Help Content —>Library —>“Library View” and “Creating and
organizing a library”
help/topic/org.fortiss.af3.rcapplication/html/pictures/Library.ToggleLibraryView.png
help/topic/org.fortiss.af3.rcapplication/html/pictures/Library.NewLibrary.png
Expected:
Screenshots without toolbar buttons.
(from redmine: issue id 2823, created on 2017-02-06, closed on 2017-02-22)
- Relations:
- blocks #2828 (closed)
- parent #2259 (closed)
- Uploads: