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

On 10/10/2013 11:31 AM, Gottfried Barrow wrote:

The command "ML{*Toplevel.timing := false*}" has no affect anymore. I love timing proofs.

That would be "ML{*Toplevel.timing := true*}" has no affect. I copy and paste these commands from an init file, and am not paying attention to how I have them set.


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