testboard: Changelog

wenzelm [Sat, 15 May 2021 22:39:07 +0200] rev 73956

merged

wenzelm [Sat, 15 May 2021 22:36:36 +0200] rev 73955

proper build of required session images vs. build with Mirabelle presentation;

wenzelm [Sat, 15 May 2021 22:06:05 +0200] rev 73954

reactive "sledgehammer";

wenzelm [Sat, 15 May 2021 17:40:36 +0200] rev 73953

reactive "sledgehammer_filter": statically correct, but untested (no proof_file);

wenzelm [Sat, 15 May 2021 17:38:49 +0200] rev 73952

clarified command-line;

wenzelm [Sat, 15 May 2021 13:25:52 +0200] rev 73951

clarified signature; supporess empty results;

wenzelm [Sat, 15 May 2021 12:33:08 +0200] rev 73950

clarified signature;

wenzelm [Sat, 15 May 2021 12:25:24 +0200] rev 73949

clarified log content;

wenzelm [Fri, 14 May 2021 21:32:11 +0200] rev 73948

reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;

wenzelm [Thu, 13 May 2021 15:52:10 +0200] rev 73947

tuned;

testboard