Re: [isabelle] RC2 for testing; Toplevel.timing has no affect anymore



On Thu, 10 Oct 2013, Gottfried Barrow wrote:

NO TIMING INFO ANYMORE

The "Timing" panel doesn't seem to work. Some timing comes up for a few commands, but they're not related to where I'm at in the document, and they don't change for the most part.

How about changing the Threshold for timing display? It is 0.1 seconds by default, so most commands won't show up, since they are much faster.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.