![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| article-alternate.html | 15-Aug-1997 09:46 | 26K | |
| article.html | 15-Aug-1997 17:49 | 38K | |
| editing-steps.notes | 16-Jul-1997 18:03 | 598 | |
| original_draft.ps | 16-Jul-1997 17:07 | 49K | |
| original_source.tex.txt | 16-Jul-1997 17:06 | 3.7K | |
| published_copy.ps | 16-Jul-1997 17:23 | 58K | |
| published_source.tex.txt | 16-Jul-1997 17:32 | 4.0K | |
| sample1.aux | 17-Jul-1997 11:36 | 8 | |
| sample1.dvi | 17-Jul-1997 11:36 | 552 | |
| sample1.log | 17-Jul-1997 11:36 | 2.3K | |
| sample1.ps | 17-Jul-1997 11:36 | 7.7K | |
| sample1.tex | 17-Jul-1997 11:35 | 219 | |