On Mar 8, 2007, at 2:04 PM, Wolfgang Denk wrote: > ... command "clocks" or so, which prints the full information > if anybody really wants to see it? or an environment "info" variable? Could be used to print out more verbose information on various topics if set? -- Dan