[isabelle-dev] log file where art thou?
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