testboard: Changelog

wenzelm [Sun, 19 Sep 2021 21:55:11 +0200] rev 74670

clarified signature; clarified antiquotations;

wenzelm [Sun, 19 Sep 2021 21:47:10 +0200] rev 74669

clarified antiquotations;

wenzelm [Sun, 19 Sep 2021 21:37:14 +0200] rev 74668

clarified signature -- prefer antiquotations (with subtle change of exception content);

wenzelm [Sun, 19 Sep 2021 21:35:51 +0200] rev 74667

more control symbols;

wenzelm [Sun, 19 Sep 2021 21:14:14 +0200] rev 74666

support ML antiquotations with fn abstraction;

wenzelm [Sun, 19 Sep 2021 20:47:16 +0200] rev 74665

unused;

wenzelm [Thu, 16 Sep 2021 18:59:59 +0200] rev 74664

clarified operations: follow Isabelle/ML more closely;

wenzelm [Wed, 15 Sep 2021 19:46:03 +0200] rev 74663

provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;

wenzelm [Wed, 15 Sep 2021 16:13:25 +0200] rev 74662

obsolete;

wenzelm [Wed, 15 Sep 2021 16:11:53 +0200] rev 74661

tuned;

testboard