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