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