| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| example3.dvi | 4828 | 22-Jul-1998 23:00 |
| example3.log | 2624 | 22-Jul-1998 23:00 |
| example3.ps | 42K | 08-Aug-1998 23:00 |
| example3.tex | 4219 | 21-Mar-1998 00:00 |
| tf.mf | 11K | 14-Mar-1998 00:00 |
| tf10.mf | 4011 | 14-Mar-1998 00:00 |
| tf5.mf | 4123 | 14-Mar-1998 00:00 |
| tf7.mf | 4535 | 14-Mar-1998 00:00 |