| Subject | From | # of followups |
|---|---|---|
| FG/MOL 2001 Second CFP (fwd) | Czeslaw Bylinski | 0 |
| Browsing extensions for Emacs Mizar mode | Josef Urban | 0 |
| Anybody did computability theory | Chen Jingchao | 1 |
| Re: Anybody did computability theory | Piotr Rudnicki | 1 |
| Re: Anybody did computability theory | Grzegorz Bancerek | 0 |
| browsing Mizar.org in Windows with IExplorer5 | DE MARINIS Marcello | 1 |
| Re: browsing Mizar.org in Windows with IExplorer5 | Piotr Rudnicki | 1 |
| STRATEGIES 2001 (2nd cfp) (fwd) | Czeslaw Bylinski | 0 |
| Re: browsing Mizar.org in Windows with IExplorer5 | Journal of Formalized Math | 0 |
| Wishes for Mizar | Andrzej Trybulec | 0 |
| Functor brackets | Andrzej Trybulec | 0 |