It is an improvement, except that something is wrong with the text rendering. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://lists.inf.ethz.ch/pipermail/oberon/attachments/20080419/419f84fc/attachment.html