[isabelle-dev] Infinite loops with output
makarius at sketis.net
Thu May 28 17:25:09 CEST 2015
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".
More information about the isabelle-dev