revision author date description
28520 juergen Wed Mar 13 16:55:00 2013 dbc docu
28301 juergen Sat Feb 9 09:59:00 2013 a paragraph in dbc added
28300 juergen Sat Feb 9 09:40:00 2013 simple-tests and dbc updated
28111 juergen Wed Jan 16 11:16:00 2013 dbc contract-check-level
28110 juergen Wed Jan 16 11:10:00 2013 dbc beautified
28109 juergen Wed Jan 16 10:51:00 2013 dbc procedure and macro declarations changed
28069 juergen Thu Jan 10 16:33:00 2013 dbc added