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

On 10/14/2013 12:08 PM, Makarius wrote:
And yes, the NEWS item refers to what you see in Isabelle2013-1-RC2 already. I merely updated the NEWS to make more clear how it works.

I've also tried once again on Windows that timing of some 'apply' command also works. Of course, you need to set the timing threshold to something that is sufficiently small (even 0.0).

There's a reason for most everything.

The default of 0.1ms threshold prevents anything less than 100ms from showing the time in the tooltip window.

I change the threshold to 0.0, all the commands show up in the timing panel with their times, but only commands with a time of 100ms or greater give a time in the tooltip window.

I tested it out on an install where I let "Isabelle2013-1-RC2.exe" do everything by default, and I changed no options.

Thanks for the new features,

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