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