testboard: Changelog

wenzelm [Thu, 02 Apr 2020 12:19:09 +0200] rev 71870

proper arguments of protocol function;

wenzelm [Wed, 01 Apr 2020 23:04:28 +0200] rev 71869

merged

wenzelm [Wed, 01 Apr 2020 22:07:57 +0200] rev 71868

more robust: process stdout on Windows may contain CR;

wenzelm [Wed, 01 Apr 2020 21:43:22 +0200] rev 71867

clarified signature; more inlined protocol messages;

wenzelm [Wed, 01 Apr 2020 21:10:44 +0200] rev 71866

prefer system option: easier to make it default;

wenzelm [Wed, 01 Apr 2020 20:55:48 +0200] rev 71865

support multiple sessions, notably for "isabelle build -P -j2";

wenzelm [Wed, 01 Apr 2020 20:17:23 +0200] rev 71864

pretty formatting as in Isabelle/ML;

wenzelm [Wed, 01 Apr 2020 18:36:58 +0200] rev 71863

output prover messages;

wenzelm [Wed, 01 Apr 2020 18:22:19 +0200] rev 71862

clarified signature;

wenzelm [Wed, 01 Apr 2020 18:19:46 +0200] rev 71861

clarified signature: more robust;

testboard