>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> But anyway: Even if we switch to pdf we should only have one Georg> format, and such a switch needs certainly to be discussed Georg> first. Definitely agreed. I'd rather stay with eps for now (if only because it is the current format). Georg> Yes, that should be done in both trees. I guess Michael waits Georg> for Jean-Marc's OK for 1.4. If this is the case, you have my OK, Michael. JMarc
