| Subject | From | # of followups |
|---|---|---|
| [mizar] wsmiz.xml missing? | Alex Nelson | 1 |
| Re: [mizar] wsmiz.xml missing? | adamn | 1 |
| Re: [mizar] wsmiz.xml missing? | Alex Nelson | 1 |
| Re: [mizar] wsmiz.xml missing? | Alex Nelson | 0 |
| [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493 | Josef Urban | 1 |
| Re: [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493 | adamn | 0 |
| Re: [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493 | Roman Matuszewski | 0 |
| Re: [mizar] Compositions of regular matroids, Lean and Mizar | paul young | 0 |