On 05/08/2011 08:04 AM, Akira Kakuto wrote: > > Taco, is it necessary to set user_progname = input_name > in the ini mode? Will check tomorrow.After BachoTeX, my family took over my life for a few days so I am horribly behind on my e-mail right now. Best wishes, Taco