| Subject | From | # of followups |
|---|---|---|
| [mizar] puzzle | Adam Naumowicz | 1 |
| Re: [mizar] puzzle | Freek Wiedijk | 1 |
| Re: [mizar] puzzle | Piotr Rudnicki | 0 |
| [mizar] Maintenance | Andrzej Trybulec | 1 |
| Re: [mizar] Maintenance | Josef Urban | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] Global choice | Andrzej Trybulec | 1 |
| [mizar] Hindrances | Andrzej Trybulec | 2 |
| Re: [mizar] Hindrances | Piotr Rudnicki | 2 |
| Re: [mizar] Hindrances | Zenon Kulpa | 1 |
| Re: [mizar] Hindrances | Andrzej Trybulec | 0 |
| Re: [mizar] Hindrances | Zenon Kulpa | 0 |
| Re: [mizar] Hindrances | Freek Wiedijk | 1 |
| Re: [mizar] Hindrances | Josef Urban | 0 |
| Re: [mizar] Global choice | Josef Urban | 0 |
| Re: [mizar] Hindrances | Piotr Rudnicki | 1 |
| Re: [mizar] Hindrances | Freek Wiedijk | 0 |
| Re: [mizar] Hindrances | Andrzej Trybulec | 1 |
| Re: [mizar] Hindrances | Piotr Rudnicki | 1 |
| [mizar] List | Freek Wiedijk | 1 |
| [mizar] MoMM:Most of Math Matches | Josef Urban | 0 |