Sebastian Tennant Thu, 03 Apr 2008 08:42:38 -0700
Another procedure missing from the info manual: set-batch-mode?!
Sebastian