| Subject | From | # of followups |
|---|---|---|
| New Mizar articles | Library Committee | 0 |
| CfP: Mechanized Mathematics and Its Applications (fwd) | Czeslaw Bylinski | 0 |
| MTV'02: Call for Papers (fwd) | Czeslaw Bylinski | 0 |
| Extended ASCII | Library Committee | 0 |
| Leaning Mizar | David | 0 |
| New Mizar articles | Library Committee | 0 |