On Thu, 23 Aug 2012, Gerwin Klein wrote:
left at least some information in the case of bad system crashes (e.g. polyml bugs).
This should work: when the process has terminated in any way, the log should appear. Where did you see it differently?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
