Re: [Rd] cat() in system.time() ?

2016-07-17 Thread luke-tierney
On Fri, 15 Jul 2016, Martin Maechler wrote: Hi Ben (and everyone else), as this did not attract attention yet, let me start Ben Bolker on Mon, 4 Jul 2016 11:49:40 -0400 writes: > Does anyone know if there's a reason that proc.time() uses cat() > rather than message() to print the

Re: [Rd] cat() in system.time() ?

2016-07-17 Thread Uwe Ligges
On 17.07.2016 18:13, luke-tier...@uiowa.edu wrote: On Fri, 15 Jul 2016, Martin Maechler wrote: Hi Ben (and everyone else), as this did not attract attention yet, let me start Ben Bolker on Mon, 4 Jul 2016 11:49:40 -0400 writes: > Does anyone know if there's a reason that proc.tim