| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| MakeBatch.rexx | OS/2 REXX Batch file | 102 | 3KB | 1995-04-09 |
| MakeMPX.rexx | OS/2 REXX Batch file | 67 | 2KB | 1995-04-06 |
| MakeTeXFont.rexx | OS/2 REXX Batch file | 282 | 6KB | 1995-04-09 |
| NameStruc | Text File | 27 | 803b | 1995-03-18 |
| TeXEdit.rexx | OS/2 REXX Batch file | 410 | 10KB | 1994-12-10 |