isabelle: Changelog

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;

wenzelm [Sat, 13 Feb 2016 12:17:25 +0100] rev 62287

tuned header;

wenzelm [Sat, 13 Feb 2016 12:13:10 +0100] rev 62286

clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;

wenzelm [Sat, 13 Feb 2016 11:50:01 +0100] rev 62285

unconditional test -- nothing special here;

wenzelm [Fri, 12 Feb 2016 22:36:48 +0100] rev 62284

merged

isabelle