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