isabelle: Changelog

wenzelm [Wed, 03 Jul 2024 10:14:47 +0200] rev 80487

clarified signature;

wenzelm [Wed, 03 Jul 2024 10:09:59 +0200] rev 80486

unused;

wenzelm [Wed, 03 Jul 2024 10:07:39 +0200] rev 80485

tuned signature;

nipkow [Wed, 03 Jul 2024 19:42:13 +0200] rev 80484

simpler theorem

Fabian Huch <huch@in.tum.de> [Wed, 03 Jul 2024 09:14:39 +0200] rev 80483

clarified: control verbosity;

wenzelm [Tue, 02 Jul 2024 23:29:46 +0200] rev 80482

enforce rebuild of Isabelle/ML;

wenzelm [Tue, 02 Jul 2024 23:28:55 +0200] rev 80481

more uniform Bytes.read_stream vs. File.read_stream;

wenzelm [Tue, 02 Jul 2024 23:13:35 +0200] rev 80480

clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;

wenzelm [Tue, 02 Jul 2024 22:38:00 +0200] rev 80479

more specialized operations;

wenzelm [Tue, 02 Jul 2024 21:54:12 +0200] rev 80478

notable performance tuning for Library.separated_chunks variants; more direct NoSuchElementException;

isabelle