| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 31 |  .. |
| -rw-r--r-- | 1372 |  tex_gdef.html |
| -rw-r--r-- | 83 | tex_gdef_tex4ht_tex.4ct |
| -rw-r--r-- | 76 | tex_gdef_tex4ht_tex.4tc |
| -rw-r--r-- | 1819 | tex_gdef_tex4ht_tex.css |
| -rw-r--r-- | 1589 | tex_gdef_tex4ht_tex.html |
| -rw-r--r-- | 2723 | tex_gdef_tex4ht_tex.lg |
| -rw-r--r-- | 1146 | tex_gdef_tex4ht_tex.tex |
| -rw-r--r-- | 15 | tex_gdef_tex4ht_tex.tmp |
| -rw-r--r-- | 49 | tex_gdef_tex4ht_tex.xref |