Directory Index
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size | Description |
|---|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | ||
![[DIR]](/icons/folder.gif){kind=icon} | bernhard-stuff/ | 2008-08-20 09:00 | - | |
![[ ]](/icons/layout.gif){kind=icon} | usecases.pdf | 2008-08-21 23:35 | 36K | |
| requirements.pdf | 2008-09-12 12:06 | 33K | |
![[ ]](/icons/dvi.gif){kind=icon} | design.dvi | 2008-10-21 21:24 | 168K | |
| design.pdf | 2008-10-21 21:24 | 212K | |
| design-html/ | 2008-10-21 21:24 | - | |
![[ ]](/icons/a.gif){kind=icon} | design.ps | 2008-10-21 21:24 | 641K | |
| manual.pdf | 2008-10-21 21:25 | 229K | |
| manual-html/ | 2008-10-21 21:25 | - | |
| design-gif/ | 2012-12-12 21:42 | - | |
| design-png/ | 2012-12-12 21:42 | - | |