isabelle: Changelog

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

clarified signature; clarified antiquotations;

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

clarified antiquotations;

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

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

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

more control symbols;

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

support ML antiquotations with fn abstraction;

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

unused;

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

clarified operations: follow Isabelle/ML more closely;

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

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 74313

obsolete;

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

tuned;

isabelle