Hello, Today starts my course "proof assistants" in which (among other things) I'll try to teach Mizar. So I downloaded the latest version and found that it is no longer version 6 but version 7! Can anyone tell me what is different that we get a new major version number? Freek