isabelle: Changelog

Fabian Huch <huch@in.tum.de> [Fri, 05 Jul 2024 09:52:56 +0200] rev 80501

use ansi colored diffs;

Fabian Huch <huch@in.tum.de> [Fri, 05 Jul 2024 09:47:21 +0200] rev 80500

add diffs to build manager;

Fabian Huch <huch@in.tum.de> [Thu, 04 Jul 2024 13:50:14 +0200] rev 80499

clarified: components vs. extra components;

Fabian Huch <huch@in.tum.de> [Thu, 04 Jul 2024 09:57:40 +0200] rev 80498

compress reports;

Fabian Huch <huch@in.tum.de> [Wed, 03 Jul 2024 21:11:24 +0200] rev 80497

clarified build report;

wenzelm [Wed, 03 Jul 2024 21:54:17 +0200] rev 80496

merged

wenzelm [Wed, 03 Jul 2024 21:22:52 +0200] rev 80495

enforce rebuild of Isabelle/ML;

wenzelm [Wed, 03 Jul 2024 21:11:53 +0200] rev 80494

clarified signature, following 43323d886ea3;

wenzelm [Wed, 03 Jul 2024 20:59:30 +0200] rev 80493

clarified signature: more direct operation;

wenzelm [Wed, 03 Jul 2024 20:35:10 +0200] rev 80492

clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding;

isabelle