download all originals (max 500 MB)
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| index.html | Hypertext Markup Language File | 29 | 952 b | 1996-10-12 |
| labels.pl | Text File | 14 | 200 b | 1996-10-12 |
| texnames_ct.html | Hypertext Markup Language File | 98 | 2.0 KB | 1996-10-12 |
| texnames_hd.html | Hypertext Markup Language File | 16 | 626 b | 1996-10-12 |
| texnames_mn.html | Hypertext Markup Language File | 24 | 872 b | 1996-10-12 |
| texnames.css | Cascading Style Sheet File | 61 | 2.0 KB | 1996-10-12 |
| texnames.html | Hypertext Markup Language File | 29 | 952 b | 1996-10-12 |