[isabelle-dev] log file where art thou?

Makarius makarius at sketis.net
Sat Aug 25 10:29:22 CEST 2012

On Fri, 24 Aug 2012, Gerwin Klein wrote:

> Even with concurrency I can usually figure out which set of theories is 
> currently running (and some big sessions run with -p 1 anyway to reduce 
> memory usage).

That approach is obsolete with Poly/ML 5.5.0 from the SVN, which is 
presently in the final testing phase before the release within a few 

BTW, you should say something like "parallelism" or "parallel checking", 
not "concurrency", which is about slightly different problems.


More information about the isabelle-dev mailing list