| Subject | From | # of followups |
|---|---|---|
| Mizar mode for Emacs | Josef Urban | 0 |
| LPAR'2000 call for papers (fwd) | Czeslaw Bylinski | 0 |
| New Mizar articles | Library Committee | 0 |
| Mizar's scheme is very useful but maybe have a bug | CHENJINGCHAO | 1 |
| Re: Mizar's scheme is very useful but maybe have a bug | Andrzej Trybulec | 0 |