[isabelle-dev] Infinite loops with output

[Makarius]

On Thu, 28 May 2015, Aymeric Bouzy wrote:

> Maybe it could be considered mentioning it in The Isabelle Cookbook in 
> section 2.2 ?

The Cookbook is somewhat outdated and not very precise, sometimes wrong.

The official Isabelle/ML documentation is the "implementation" manual that 
is part of the standard release.  It explains "tracing" in section 0.4 
"Message output channels".


 	Makarius