| Name | Last Modified | Size | Type | 
|---|---|---|---|
| ../ | - | Directory | |
| README | 1991-Jan-30 18:00:00 | 1.8K | text/plain; charset=utf-8 | 
| deproc-doc.tex | 1989-Dec-20 18:00:00 | 35.9K | text/x-tex; charset=utf-8 | 
| deproc.readme | 1991-Jan-30 18:00:00 | 1.8K | text/plain; charset=utf-8 | 
| deproc.sty | 1989-Dec-20 18:00:00 | 6.9K | text/x-tex; charset=utf-8 |