doc-src/TutorialI/settings.ML

use java.util.concurrent.LinkedBlockingQueue, which blocks as required;
IsabelleProcessException: toString;
Result: improved toString;
Result: raw markup for stdout/stderr;
cmdline: proper executable name, added YXML mode;

(* $Id$ *)

ThyOutput.indent := 5;