Mizar Home Page update

[Mariusz Zynel <mariuszz@math.uw.bialystok.pl>]

I'd like to announce that the Mizar Home Page:

   http://mizar.uw.bialystok.pl

has been updated. There is a new page called: "What's New?" now.
Thanks to Artur Kornilowicz, it contains first new link to
The Tree of Dependence of Mizar Articles. 

Enjoy...

-------------------------------------------------------------------
        .
Mariusz Zynel                     
Institute of Mathematics
Warsaw University, Bialystok Division

mariuszz@math.uw.bialystok.pl