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