Changes for version 1.23 - 2009-11-01

  • Distrubution upgrades from Alexandr Ciornii.

Modules

Subroutine pre- and postconditions, etc.
Design-by-contract like pre- and postconditions, etc.