On Wed, Mar 23, 2016 at 07:38 +0100, Frank Meier wrote: > That's an even easier solution. I thought I had to use "redef". The command line assignment is essentially a "redef", just shorter for convienience. Robin -- Robin Sommer * ICSI/LBNL * robin at icir.org * www.icir.org/robin