Re: [isabelle] RC2 for testing; Toplevel.timing has no affect anymore
On Mon, 14 Oct 2013, Gottfried Barrow wrote:
On 10/14/2013 8:28 AM, Makarius wrote:
Here is a clarified NEWS entry for the release... The
same timing information is shown in the extended tooltip of the
command keyword, when hovering the mouse over it while the CONTROL or
COMMAND modifier is pressed.
Does that address all problems and confusions?
Is this supposed to be working for the RC2 release or the next release?
All I get in the tooltip when I hover over a "apply" is `command
"apply"`. If I can easily see timing for individual "apply" commands,
"RC" means "release candidate", not "release". We are presently at
release candidate #2, working towards just one final release called
"Isabelle2013-1" (according to the canonical Isabelle release naming
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).
This archive was generated by a fusion of
Pipermail (Mailman edition) and