| Subject | From | # of followups |
|---|---|---|
| [mizar] unused loci again | Jesse Alama | 1 |
| Re: [mizar] unused loci again | Josef Urban | 0 |
| [mizar] "Formalized Mathematics" | Roman Matuszewski | 0 |
| [mizar] Computer Reconstruction of the Body of Mathematics | Adam Naumowicz | 0 |
| [mizar] incsp_1: "incidency" -> "incidence" | Jesse Alama | 0 |
| [mizar] html for 4.103.1019 | Josef Urban | 0 |
| [mizar] Version 7.9.03 | Adam Naumowicz | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |