| Subject | From | # of followups |
|---|---|---|
| Extended ASCII in MML | Library Committee | 0 |
| two new functions added to Mizar mode for Emacs | Josef Urban | 0 |
| New Mizar articles | Library Committee | 0 |
| Mizar ver. 6.0.10 for Linux | Adam Naumowicz | 0 |
| Mizar translation | Lukasz Kaiser | 0 |
| A trouble with a redefinition | Piotr Rudnicki | 1 |
| New mizar articles | Library Committee | 0 |
| Re: A trouble with a redefinition | Andrzej Trybulec | 2 |
| Rykov's Q | Vladimir Rykov, PhD in Com | 0 |
| Re: A trouble with a redefinition | Andrzej Trybulec | 0 |
| Clustering | Christoph Schwarzweller | 0 |