isabelle: Changelog

nipkow [Thu, 26 Oct 2023 20:41:42 +0200] rev 78833

added lemma

Fabian Huch <huch@in.tum.de> [Thu, 26 Oct 2023 17:53:22 +0200] rev 78832

NEWS and CONTRIBUTORS;

Fabian Huch <huch@in.tum.de> [Thu, 26 Oct 2023 11:39:45 +0200] rev 78831

remove unused ci-extras component;

Fabian Huch <huch@in.tum.de> [Thu, 26 Oct 2023 10:53:51 +0200] rev 78830

use mail module in CI build;

Fabian Huch <huch@in.tum.de> [Tue, 24 Oct 2023 19:17:46 +0200] rev 78829

added mail module;

Fabian Huch <huch@in.tum.de> [Thu, 26 Oct 2023 11:29:00 +0200] rev 78828

build javamail component and add to main components;

Fabian Huch <huch@in.tum.de> [Thu, 26 Oct 2023 11:23:53 +0200] rev 78827

added component for javax mail;

wenzelm [Wed, 25 Oct 2023 17:06:21 +0200] rev 78826

updated to vampire-4.8;

wenzelm [Wed, 25 Oct 2023 13:51:51 +0200] rev 78825

tuned README;

wenzelm [Wed, 25 Oct 2023 13:01:47 +0200] rev 78824

update Vampire version, following hints by Martin Desharnais;

isabelle