| Subject | From | # of followups |
|---|---|---|
| [mizar] New Mizar articles - July & August 2005 | Adam Grabowski | 0 |
| [mizar] New Mizar articles - September 2005 | Adam Grabowski | 0 |
| [mizar] The proof of the Jordan Curve Theorem available in MML | Adam Grabowski | 1 |
| Re: [mizar] The proof of the Jordan Curve Theorem available in MML | Jesse Alama | 0 |