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