| Subject | From | # of followups |
|---|---|---|
| [mizar] MPTP description | Josef Urban | 0 |
| [mizar] New Mizar version (6.3.04_3.50.773) | Adam Grabowski | 0 |
| [mizar] New Mizar version (6.3.04_3.50.773) | Adam Grabowski | 0 |
| [mizar] Natural Language Principles | Josef Urban | 0 |
| [mizar] DiaBruck 2003, 3nd CFP (Submission deadline extended: May 12 2003) (fwd) | Czeslaw Bylinski | 0 |
| [mizar] CADE QPQ Workshop Deadline Extension (fwd) | Czeslaw Bylinski | 0 |
| [mizar] JFM regeneration | Adam Grabowski | 0 |