isabelle: Changelog

Fabian Huch <huch@in.tum.de> [Wed, 18 Oct 2023 18:48:49 +0200] rev 78836

defined statically known tables of Build_Log; read hostname from build logs, store in Session_Entry (e.g., to track hosts in distributed build);

nipkow [Fri, 27 Oct 2023 18:27:06 +0200] rev 78835

added lemma

nipkow [Fri, 27 Oct 2023 08:16:16 +0200] rev 78834

added lemma

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;

isabelle