| Subject | From | # of followups |
|---|---|---|
| [mizar] CFP - LPAR'03 - September 22-26th, 2003, Almaty, Kazakhstan (fwd) | Czeslaw Bylinski | 0 |
| [mizar] CFP - 4th International Workshop on the Implementation of Logics (fwd) | Czeslaw Bylinski | 0 |
| [mizar] New Mizar version (6.3.06_3.54.782) | Adam Grabowski | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] Mizar Mode documentation | Josef Urban | 0 |