add txfonts 3.1.1
Fontsets includes Adobe Times Roman for TeX users
PR: 30979
Submitted by: Koji Mori <mori@tri.asanuma.co.jp>
Description
Description
Details
Details
- Provenance
ijliao Authored on - Parents
- rP61517: Update to 0.3.9.
- Branches
- Unknown
- Tags