I attach the two patches, both apply (with some fuzzyness) to current
sources in TeX Live.I agree with Peter. I installed the second patch. Thanks, Mathias and all! karl -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
