Concerning the Revised Edition
Today's Mizar is beginning to be used increasingly in a large field of applications and it came to have a WWW homepage on the Internet. With support from the users and for the sake of its processing ability, Mizar has managed to renew its version frequently. We hope to help people who are learning Mizar by summarizing those improvements as well as we can.