Changes for version 1.23

  • Distrubution upgrades from Alexandr Ciornii.

Modules

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