isabelle: Changelog

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;

wenzelm [Sat, 13 Feb 2016 17:27:23 +0100] rev 62293

clarified name;

wenzelm [Sat, 13 Feb 2016 17:24:00 +0100] rev 62292

more flexible command-line; flush before exit/fork/exec, to make double sure that output is shipped;

wenzelm [Sat, 13 Feb 2016 16:19:29 +0100] rev 62291

tuned signature;

wenzelm [Sat, 13 Feb 2016 12:39:00 +0100] rev 62290

isabelle update_cartouches -c -t;

wenzelm [Sat, 13 Feb 2016 12:33:55 +0100] rev 62289

practically obsolete;

wenzelm [Sat, 13 Feb 2016 12:17:54 +0100] rev 62288

obsolete -- no such conditions in main Isabelle repository;

isabelle