janhaag/PSE2011 — Issue #55: Not all important cases reflected in "Ensure" and "Assume" help page
Author: ratefuchs
Created: 2012-02-28 16:28:31+00:00
State: open
Labels: Documentation

The examples in those pages should be extended so that they reflect the relevant cases
(Assume: main function assume, Ensure: while ensure).