| Subject | From | # of followups |
|---|---|---|
| Re: [mizar] Re: Mizar on SnowLeopard | Piotr Rudnicki | 0 |
| [mizar] ICMS'2010 CFP | Freek Wiedijk | 0 |
| [mizar] MSCS Special Issue - Mechanization of Mathematics (second call) | Andrea Asperti | 0 |
| [mizar] Test | Piotr Rudnicki | 0 |
| [mizar] Formatter questions | Daniel Matichuk | 1 |
| Re: [mizar] Formatter questions | Josef Urban | 1 |
| Re: [mizar] Formatter questions | Josef Urban | 0 |