| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| a.aux | Latex Auxiliary File | 12 | 214b | 1992-12-31 |
| detex_ct.html | Hypertext Markup Language File | 184 | 4KB | 1992-12-31 |
| detex_hd.html | Hypertext Markup Language File | 16 | 623b | 1992-12-31 |
| detex_mn.html | Hypertext Markup Language File | 24 | 857b | 1992-12-31 |
| detex.css | Cascading Style Sheet File | 61 | 2KB | 1992-12-31 |
| detex.html | Hypertext Markup Language File | 29 | 940b | 1992-12-31 |
| index.html | Hypertext Markup Language File | 29 | 940b | 1992-12-31 |
| labels.pl | Text File | 14 | 200b | 1992-12-31 |