| Subject | From | # of followups |
|---|---|---|
| 2nd CFP: FroCoS'2002 (fwd) | Czeslaw Bylinski | 1 |
| Other systems | David | 1 |
| Re: Other systems | Grzegorz Bancerek | 0 |
| Pi | Grzegorz Bancerek | 0 |
| Elimination of Extended ASCII & new lexical traps | Andrzej Trybulec | 0 |
| New Mizar articles | Library Committee | 0 |