new address of Mizar Site

["Roman Matuszewski, Department of Logic" <ROMAN@hum.uw.bialystok.pl>]

I would like to inform, that we have a new Mizar Site:

           http://mizar.org

there are:
 - Mizar Project Home Page,
 - Journal of Formalized Mathematics.

I appreciate if you send me the information about
speed of transmission for above address.

-- Roman Matuszewski
   romat@mizar.org