Sat, 15 May 2021 22:06:05 +0200 reactive "sledgehammer";
wenzelm [Sat, 15 May 2021 22:06:05 +0200] rev 73697
reactive "sledgehammer";
Sat, 15 May 2021 17:40:36 +0200 reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
wenzelm [Sat, 15 May 2021 17:40:36 +0200] rev 73696
reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
Sat, 15 May 2021 17:38:49 +0200 clarified command-line;
wenzelm [Sat, 15 May 2021 17:38:49 +0200] rev 73695
clarified command-line;
Sat, 15 May 2021 13:25:52 +0200 clarified signature;
wenzelm [Sat, 15 May 2021 13:25:52 +0200] rev 73694
clarified signature; supporess empty results;
Sat, 15 May 2021 12:33:08 +0200 clarified signature;
wenzelm [Sat, 15 May 2021 12:33:08 +0200] rev 73693
clarified signature;
Sat, 15 May 2021 12:25:24 +0200 clarified log content;
wenzelm [Sat, 15 May 2021 12:25:24 +0200] rev 73692
clarified log content;
Fri, 14 May 2021 21:32:11 +0200 reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
wenzelm [Fri, 14 May 2021 21:32:11 +0200] rev 73691
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
Thu, 13 May 2021 15:52:10 +0200 tuned;
wenzelm [Thu, 13 May 2021 15:52:10 +0200] rev 73690
tuned;
Thu, 13 May 2021 15:38:52 +0200 unused;
wenzelm [Thu, 13 May 2021 15:38:52 +0200] rev 73689
unused;
Wed, 12 May 2021 17:17:46 +0200 unused (see 8ffc607c345d);
wenzelm [Wed, 12 May 2021 17:17:46 +0200] rev 73688
unused (see 8ffc607c345d);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip