![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| extramarks.sty | 04-Oct-1994 03:45 | 2.6K | |
| fancyheadings.dvi | 11-Oct-1994 01:58 | 63K | |
| fancyheadings.sty | 07-May-1996 06:36 | 9.1K | |
| fancyheadings.tex | 11-Oct-1994 01:59 | 50K | |
| fixmarks.sty | 11-Oct-1994 01:59 | 3.6K | |
| lastpage209.sty | 31-Oct-1994 01:00 | 256 | |