On 12.08.2012 21:10, Makarius wrote: > * Timing of commands is always enabled in the Prover IDE. Results can > be seen in the command status markup in Sidekick with the > "isabelle-raw" parser. This is good to know. I sometimes wished to get this information. -- Lars