isabelle: Changelog

wenzelm [Sun, 14 Feb 2016 12:03:32 +0100] rev 62303

tuned signature;

wenzelm [Sun, 14 Feb 2016 11:52:27 +0100] rev 62302

tuned signature;

wenzelm [Sat, 13 Feb 2016 23:59:35 +0100] rev 62301

updated bash_process;

wenzelm [Sat, 13 Feb 2016 22:52:41 +0100] rev 62300

actually wait for forked process and return its status -- this is not meant to be a daemon;

wenzelm [Sat, 13 Feb 2016 21:22:02 +0100] rev 62299

tuned signature;

wenzelm [Sat, 13 Feb 2016 21:17:08 +0100] rev 62298

tuned signature -- more like ML version;

wenzelm [Sat, 13 Feb 2016 21:10:13 +0100] rev 62297

suppress empty messages as in ML;

wenzelm [Sat, 13 Feb 2016 20:41:56 +0100] rev 62296

clarified bash process -- similar to ML version;

wenzelm [Sat, 13 Feb 2016 20:01:48 +0100] rev 62295

clarified bash process;

wenzelm [Sat, 13 Feb 2016 19:52:56 +0100] rev 62294

tuned according to ML version;

isabelle