[isabelle-dev] NEWS

Makarius makarius at sketis.net
Fri Oct 29 17:48:25 CEST 2010

On Fri, 29 Oct 2010, Tobias Nipkow wrote:

> Unless I have a lapse of memory, the timeout specifications for s/h and 
> Nitpick are also in seconds, possibly with an "s" appended. As a user I 
> am glad about that, because I do not think in ms and would not like to 
> write 30000 instead of 30.

I have forgotten to say that Jasmin has his own (complicated) time 

This is again a question how we invest our own precious time (by keeping 
things as simple as possible) while minimizing user confusion.


More information about the isabelle-dev mailing list