| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| dvitomp.ch | 4511 | 2020-Oct-27 07:27 |
| fig.mp | 234 | 2020-Oct-28 21:10 |
| fig.tex | 33 | 2020-Oct-29 14:17 |
| mk_MP_dir | 35 | 2008-Aug-24 12:09 |
| mp.ch | 19078 | 2020-Oct-29 16:22 |
| mpx | 221 | 2020-Oct-29 14:22 |
| readme | 6007 | 2020-Oct-29 15:51 |