| Subject | From | # of followups |
|---|---|---|
| [mizar] Call for Papers - Participation (fwd) | Czeslaw Bylinski | 0 |
| [mizar] MML CVS | Josef Urban | 0 |
| [mizar] HIDDEN | Piotr Rudnicki | 1 |
| Re: [mizar] HIDDEN | Andrzej Trybulec | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] New Mizar version - 6.1.11_3.33.722 | Adam Grabowski | 0 |