[GAP] Ada Gem #31

[Kathy Fairlamb]

The next installment of the Ada Gem series is now posted: Ada Gem #31: 
"Preconditions/postconditions" contributed by Robert Dewar of 
AdaCore.

As usual, it can be accessed from the Ada Answers page of our website at 
http://www.adacore.com/home/ada_answers/

Kind regards to all,

Kathy Fairlamb, Communications and Administration, AdaCore
fairlamb at adacore.com, tel: +33 1 49 70 67 16, fax: +33 1 49 70 05 52

GNAT Pro - supporting all three ISO Ada standards.