![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | wtexinfo.txt | 1989-12-07 00:00 | 12K | |
![]() | wtexinfo.tex | 1989-12-07 00:00 | 11K | |
![]() | wtexinfo.dvi | 1989-12-07 00:00 | 18K | |
![]() | word2tex.pas | 1988-04-27 00:00 | 4.9K | |
![]() | word2tex.exe | 1988-04-27 00:00 | 4.8K | |
![]() | tex_dbs.txt | 1988-05-07 00:00 | 2.4K | |
![]() | tex.dfv | 1988-05-07 00:00 | 768 | |
![]() | tex.dbs | 1988-05-07 00:00 | 1.3K |