isabelle: Changelog

wenzelm [Sat, 21 Nov 2020 16:07:20 +0100] rev 72673

clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);

wenzelm [Sat, 21 Nov 2020 15:20:12 +0100] rev 72672

tuned signature;

wenzelm [Sat, 21 Nov 2020 00:29:41 +0100] rev 72671

more standard imports;

wenzelm [Fri, 20 Nov 2020 23:53:37 +0100] rev 72670

tuned signature;

wenzelm [Fri, 20 Nov 2020 23:47:34 +0100] rev 72669

generate theory HTML in Isabelle/Scala; discontinued HTML support in Isabelle/ML;

desharna [Fri, 20 Nov 2020 14:29:21 +0100] rev 72668

merged

desharna [Fri, 13 Nov 2020 09:47:59 +0100] rev 72667

Add support for CVC4 1.8 to Sledgehammer

wenzelm [Fri, 20 Nov 2020 12:00:08 +0100] rev 72666

proper meta_digest: avoid non-portable position information;

wenzelm [Thu, 19 Nov 2020 22:05:34 +0100] rev 72665

clarified messages;

wenzelm [Thu, 19 Nov 2020 21:59:17 +0100] rev 72664

proper message;

isabelle