isabelle: Changelog

wenzelm [Sat, 27 May 2017 15:48:22 +0200] rev 65950

no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history;

wenzelm [Sat, 27 May 2017 13:24:01 +0200] rev 65949

tuned;

wenzelm [Sat, 27 May 2017 13:20:35 +0200] rev 65948

clarified build errors; tuned signature;

wenzelm [Sat, 27 May 2017 13:07:27 +0200] rev 65947

tuned layout;

wenzelm [Sat, 27 May 2017 13:01:25 +0200] rev 65946

tuned signature;

wenzelm [Sat, 27 May 2017 12:57:57 +0200] rev 65945

tuned signature;

wenzelm [Sat, 27 May 2017 12:52:36 +0200] rev 65944

tuned signature;

wenzelm [Sat, 27 May 2017 12:36:27 +0200] rev 65943

tuned signature;

wenzelm [Sat, 27 May 2017 12:33:14 +0200] rev 65942

clarified signature;

wenzelm [Sat, 27 May 2017 00:30:48 +0200] rev 65941

tuned layout;

isabelle