isabelle: Changelog

Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 17:04:44 +0200] rev 80545

allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;

Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 17:01:51 +0200] rev 80544

clarified;

Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 16:58:39 +0200] rev 80543

clarified;

Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 16:56:59 +0200] rev 80542

log and display components with empty (unknown) revisions to indicate that they are present;

Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 09:58:32 +0200] rev 80541

tuned log: omit previous changeset;

nipkow [Wed, 10 Jul 2024 08:37:54 +0200] rev 80540

take care of facts in cartouches

paulson <lp15@cam.ac.uk> [Tue, 09 Jul 2024 21:13:14 +0100] rev 80539

Simplified a few proofs

Fabian Huch <huch@in.tum.de> [Tue, 09 Jul 2024 16:06:32 +0200] rev 80538

tuned display;

Fabian Huch <huch@in.tum.de> [Tue, 09 Jul 2024 16:00:25 +0200] rev 80537

NEWS and CONTRIBUTORS;

Fabian Huch <huch@in.tum.de> [Tue, 09 Jul 2024 15:06:24 +0200] rev 80536

tuned HTML display of ANSI colors for better readability;

isabelle