revision author date description
28112 juergen Wed Jan 16 11:23:00 2013 design-by-contract
28096 juergen Tue Jan 15 18:09:00 2013 new design-by-contract added, old renamed