| Subject | From | # of followups |
|---|---|---|
| [no subject] | Mailing list agent | 0 |
| [mizar] Midnight Commander syntax highlighting | Josef Urban | 0 |
| [mizar] BOUNCE mizar-forum@mizar.uwb.edu.pl: Non-member submission from [Clemens Ballarin <ballarin@in.tum.de>] (fwd) | Software Administrator/Mai | 0 |
| [mizar] LAST Call for Papers - MKM 2004 (Bialowieza, Poland) | Roman Matuszewski | 0 |
| [mizar] NASSLLI 04: Deadline for Registration May 31! | Marcus Kracht | 0 |