Re: [isabelle] Counting the proof time



The timing panel gives quite detailed timing information for theories and for individual lines.

Larry Paulson


On 8 Sep 2014, at 10:25, Lyj238 <lyj238 at gmail.com> wrote:

> Dear experts,
>   I have some long proof scripts.
>   After I finish a proof, I need count the time for Isabelle to prove it. Now I use a quite stupid way to record the start time and end time points manually, then compute the time which Isabelle spend.
> 
> 
> Is there some automatically way to do this time-counting task? I remember that time can be recorded which is used to evaluate an expression.
> 
> Thanks in advance
> 
> Lyj
> 
> 发自我的 iPad





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