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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
