[mizar] Megrez services - o-hanami break

[Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>]

Dear All,

The Megrez services to Mizar system
      http://megrez.mizar.org/services/
and other Megrez pages will not be available from
   Friday, 05 Apr 2002 17:00 +09 (Tokyo zone)
                      (10:00 +02 Warsaw summer zone)
till
   Monday, 08 Apr 2002 9:00 +09
                      (2:00 +02 Warsaw summer zone)

The break is caused by a maintenance stop of local
network;
  http://cs.shinshu-u.ac.jp

Best regards,
Grzegorz Bancerek