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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
