isabelle: Changelog

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;

wenzelm [Wed, 25 Oct 2023 11:52:40 +0200] rev 78823

removed junk;

desharna [Fri, 20 Oct 2023 12:26:56 +0200] rev 78822

tuned component_vampire script for Vampire 4.8 and added new flag to force version name

Fabian Huch <huch@in.tum.de> [Tue, 24 Oct 2023 18:29:53 +0200] rev 78821

prefer Isabelle options for CI mail settings over ci.properties;

isabelle