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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and