| Subject | From | # of followups |
|---|---|---|
| New Mizar articles | Library Committee | 0 |
| New Mizar articles | Library Committee | 0 |
| Referencing Mizar articles | Christoph Schwarzweller | 1 |
| Re: Referencing Mizar articles | Piotr Rudnicki | 1 |
| Re: Referencing Mizar articles | Nakamura Yatsuka | 0 |
| Re: Referencing Mizar articles | Piotr Rudnicki | 1 |
| Re: Referencing Mizar articles | Christoph Schwarzweller | 0 |