| Name | Last Modified | Size | Type |
|---|---|---|---|
| Parent Directory/ | - | Directory | |
| README.artex | 1995-Feb-22 09:00:00 | 1.0K | text/plain |
| artex | 1995-Feb-22 09:00:00 | 12.7K | text/plain |
| artexman.html | 1995-Feb-22 09:00:00 | 13.9K | text/html |
| artexman.tex | 1995-Feb-22 09:00:00 | 13.7K | text/x-tex |