testboard: Changelog

paulson <lp15@cam.ac.uk> [Sun, 05 Apr 2020 17:12:26 +0100] rev 71907

Tidied up more ancient, horrible proofs. Liberalised frac_le

wenzelm [Sat, 04 Apr 2020 21:38:20 +0200] rev 71906

proper use of flag;

wenzelm [Sat, 04 Apr 2020 21:16:06 +0200] rev 71905

clarified signature;

wenzelm [Sat, 04 Apr 2020 20:53:36 +0200] rev 71904

tuned names;

wenzelm [Sat, 04 Apr 2020 20:16:25 +0200] rev 71903

finally expose interrupt, similar to ML;

wenzelm [Sat, 04 Apr 2020 20:06:15 +0200] rev 71902

Standard_Thread for isabelle command-line tools;

wenzelm [Sat, 04 Apr 2020 19:30:45 +0200] rev 71901

tuned -- Command_Line.tool is already part of Isabelle_Tool;

wenzelm [Sat, 04 Apr 2020 19:18:19 +0200] rev 71900

clarified signature;

wenzelm [Sat, 04 Apr 2020 18:13:05 +0200] rev 71899

clarified signature;

wenzelm [Sat, 04 Apr 2020 18:05:37 +0200] rev 71898

thread pool with Standard_Thread workers; tuned signature;

testboard