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