isabelle: Changelog

wenzelm [Sat, 15 Dec 2007 00:52:17 +0100] rev 25637

option -m: avoid additional quoting;

wenzelm [Sat, 15 Dec 2007 00:28:01 +0100] rev 25636

tuned whitespace;

wenzelm [Sat, 15 Dec 2007 00:24:02 +0100] rev 25635

proper termination of stdout thread; tuned;

wenzelm [Fri, 14 Dec 2007 23:00:52 +0100] rev 25634

added exit thread; added destroy method; tuned;

wenzelm [Fri, 14 Dec 2007 21:22:02 +0100] rev 25633

tuned diagnostics;

wenzelm [Fri, 14 Dec 2007 21:16:27 +0100] rev 25632

run Isabelle process with plain tty interaction;

wenzelm [Fri, 14 Dec 2007 21:15:37 +0100] rev 25631

added output protocol specification; PID: always on new line;

wenzelm [Fri, 14 Dec 2007 21:15:36 +0100] rev 25630

tuned;

wenzelm [Fri, 14 Dec 2007 21:15:35 +0100] rev 25629

added isatool tty;

wenzelm [Fri, 14 Dec 2007 21:15:34 +0100] rev 25628

added ISABELLE_LINE_EDITOR setting;

isabelle