[isabelle-dev] log file where art thou?

Makarius makarius at sketis.net
Sat Aug 25 10:31:02 CEST 2012

On Fri, 24 Aug 2012, Gerwin Klein wrote:

> I know, but I'm talking about sessions that run for 6h. If they take 8h, 
> I'd like to be able to see roughly where they are stuck, preferably on 
> the same day, so I can skip proofs to that point and investigate.

This sounds like an application of "isabelle tty" with "screen", if you 
don't want to use Isabelle/jEdit to run such big sessions.


More information about the isabelle-dev mailing list