[isabelle-dev] log file where art thou?

Lawrence Paulson lp15 at cam.ac.uk
Thu Aug 23 15:26:11 CEST 2012

Agree. I often looked at these. Though they can be confusing in the presence of multi-threading.

On 23 Aug 2012, at 14:20, Gerwin Klein wrote:

> I'd be quite keen to get the old behaviour back.

More information about the isabelle-dev mailing list