![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | boxes.mp | 1996-02-20 01:00 | 6.7K |
| examples.mp | 1995-06-22 02:00 | 5.9K |
| format.mp | 1995-06-22 02:00 | 6.8K |
| graph.mp | 1996-10-23 02:00 | 26K |
| marith.mp | 1995-06-22 02:00 | 4.0K |
| mfplain.mp | 1995-06-22 02:00 | 19K |
![[TXT]](/theme/icons/doc.png){kind=icon} | mproof.tex | 1995-06-22 02:00 | 532 |
| plain.mp | 1995-06-22 02:00 | 15K |
| rboxes.mp | 1995-06-22 02:00 | 1.0K |
| sarith.mp | 1995-06-22 02:00 | 1.4K |
| string.mp | 1995-06-22 02:00 | 763 |
| tex.mp | 1995-06-22 02:00 | 322 |
| texnum.mp | 1995-06-22 02:00 | 407 |