download all originals (max 1 GB)
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| index.html | Hypertext Markup Language File | 29 | 952 b | 1993-02-28 |
| labels.pl | Text File | 14 | 200 b | 1993-02-28 |
| texnames_ct.html | Hypertext Markup Language File | 83 | 1.9 KB | 1993-02-28 |
| texnames_hd.html | Hypertext Markup Language File | 16 | 626 b | 1993-02-28 |
| texnames_mn.html | Hypertext Markup Language File | 24 | 872 b | 1993-02-28 |
| texnames.css | Cascading Style Sheet File | 61 | 2.0 KB | 1993-02-28 |
| texnames.html | Hypertext Markup Language File | 29 | 952 b | 1993-02-28 |