isabelle: Changelog

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;

wenzelm [Fri, 14 Dec 2007 21:15:33 +0100] rev 25627

added ISABELLE_LINE_EDITOR; tuned;

wenzelm [Fri, 14 Dec 2007 21:15:32 +0100] rev 25626

* isatool tty runs Isabelle process with plain tty interaction;

wenzelm [Fri, 14 Dec 2007 17:57:39 +0100] rev 25625

nested commands: avoid nested errors;

wenzelm [Fri, 14 Dec 2007 17:56:08 +0100] rev 25624

added close_witness;

kleing [Thu, 13 Dec 2007 22:35:45 +0100] rev 25623

removed syntax in locale left_commutative

isabelle