| Subject | From | # of followups |
|---|---|---|
| New Mizar articles | Library Committee | 0 |
| Mizar Home Page update | Mariusz Zynel | 0 |
| Mizar Forum Archive | Mariusz Zynel | 0 |
| Accessing some Mizar articles through ILF | Bernd Ingo Dahn | 0 |
| Revisions Home Page | Library Committee | 1 |
| Online Mizar Processor | Grzegorz Bancerek | 0 |
| Mizar-Problems for ATP | Bernd Ingo Dahn | 0 |
| CCL | Piotr Rudnicki | 1 |
| Re: CCL | Grzegorz Bancerek | 0 |