| Subject | From | # of followups |
|---|---|---|
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] Name carrying facts in MML | Piotr Rudnicki | 0 |
| [mizar] SLGR | Adam Naumowicz | 0 |
| [mizar] 'Environmental' problems | Борис Шминке | 1 |
| Re: [mizar] 'Environmental' problems | Adam Naumowicz | 0 |