| Subject | From | # of followups |
|---|---|---|
| [mizar] adjectives vs Element of | Artur Kornilowicz | 0 |
| [mizar] html for 4.87.985 | Josef Urban | 0 |
| [mizar] 1st CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) | Manfred Kerber | 0 |
| [mizar] new journal announcement | Andrea Asperti | 0 |