[isabelle-dev] log file where art thou?

[Makarius]

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 
weeks.

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


 	Makarius