[isabelle-dev] log file where art thou?

Makarius makarius at sketis.net
Thu Aug 23 16:06:22 CEST 2012

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?


More information about the isabelle-dev mailing list