![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| old.demodoc.corrected.txt | 1994-08-31 19:27 | 826 | |
| demodoc.txt | 1994-08-31 19:28 | 876 | |
| old.demodoc.txt | 1994-06-14 16:57 | 1.4K | |
| orient.tex | 1994-08-31 19:29 | 2.5K | |
| staff.guide.tex | 1994-09-07 21:43 | 3.2K | |
| orient.ps | 1994-08-31 19:29 | 33K | |
| staff.guide.ps | 1994-09-07 21:44 | 34K | |