[OS X TeX] Re: The microtype mystery

[Peter Dyballa]

Am 18.08.2010 um 17:00 schrieb Richard Seguin:

> I also wonder how George timed his typesets. He made reference to  
> using "time", but I'm not sure how that is implemented in practice.


On the command line (in Terminal, xterm, Emacs):

	time pdflatex <file name>

--
Greetings

   Pete

The human animal differs from the lesser primates in his passion for  
lists of "Ten Best."
				– H. Allen Smith