| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| texnum.mp | 407 B | 1995-Jun-22 00:00 | |
| tex.mp | 322 B | 1995-Jun-22 00:00 | |
| string.mp | 763 B | 1995-Jun-22 00:00 | |
| sarith.mp | 1.4 KiB | 1995-Jun-22 00:00 | |
| rboxes.mp | 1.0 KiB | 1995-Jun-22 00:00 | |
| plain.mp | 15.0 KiB | 1995-Jun-22 00:00 | |
| mproof.tex | 532 B | 1995-Jun-22 00:00 | |
| mfplain.mp | 18.7 KiB | 1995-Jun-22 00:00 | |
| marith.mp | 4.0 KiB | 1995-Jun-22 00:00 | |
| graph.mp | 26.2 KiB | 1996-Oct-23 00:00 | |
| format.mp | 6.8 KiB | 1995-Jun-22 00:00 | |
| examples.mp | 5.9 KiB | 1995-Jun-22 00:00 | |
| boxes.mp | 6.7 KiB | 1996-Feb-20 00:00 | |