Hi, we will not have a class on May 12 because it's the Dean's Day, as you probably know. That means our next class is on May 19. Cheers, J. -- Jan Pechanec <jp (at) devnull (dot) cz> http://www.devnull.cz