![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| waits.tex | 1984-01-08 11:41 | 4.1K | |
| trapman.tex | 1988-06-04 13:03 | 18K | |
| tripman.tex | 1985-10-23 01:51 | 19K | |
| xet.ch | 1986-07-28 08:58 | 55K | |
| xet.vms-changes | 1988-03-13 22:15 | 55K | |
| webman.tex | 1989-08-25 16:02 | 87K | |
| profile.web | 1983-12-03 10:04 | 111K | |