At 19:36 07/05/2004, Olaf Weber wrote: >\write18 should be like other writes, not like \message. Othewise it >becomes needlessly hard to use. good, because then users have two methods to get things to the terminal: locale'd and direct; i'd say: go ahead, you got my vote -) Hans