[isabelle-dev] Speed of @{thm}

Lars Noschinski noschinl at in.tum.de
Mon Aug 13 04:01:39 CEST 2012


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



More information about the isabelle-dev mailing list