![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| current.ps | 2002-08-09 15:08 | 818K | |
| current.pdf | 2008-05-23 20:58 | 520K | |
| current.dvi.old | 2002-08-09 15:08 | 387K | |
| current.tex | 2002-08-09 15:07 | 314K | |
| current.log | 2008-05-23 20:58 | 31K | |
| current.aux | 2008-05-23 20:58 | 10K | |
| newjunit.tex | 2002-08-09 13:08 | 8.6K | |
| junit.tex | 2002-08-09 06:51 | 6.6K | |
| x.log | 2002-08-05 00:00 | 663 | |
| DeptDirectory.java | 2002-08-05 07:48 | 501 | |
| gif/ | 2002-08-04 16:08 | - | |
| former/ | 2002-08-09 15:14 | - | |
| current/ | 2004-02-05 16:57 | - | |
| code/ | 2002-08-06 08:09 | - | |