Changeset 40585

Timestamp:

Oct 30, 2007, 12:30:41 AM (15 years ago)

Author:

crowl

Message:

Normalize inconsistent "Postcondition:" to "Postconditions:".
Consistently avoid <pre> blocks in postconditions,
which solves some formatting problems.

(No files)