janhaag/PSE2011 — Issue #53: Article mentioned in "While-Statement" help not present
Author: ratefuchs
Created: 2012-02-28 16:19:42+00:00
State: open
Labels: Documentation

In the "While-Statement" help article there is a reference to an article "assertions", which does not exist.
Only a (non-relevant) article named "Assert" exists.
There should be a reference to "Invariant" and "Ensure" instead, or probably a new article "Specification", where a general description is given and where all types of specifications are enumerated.