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;
wenzelm [Tue, 02 Jul 2024 21:35:40 +0200] rev 80477
tuned;
Fabian Huch <huch@in.tum.de> [Tue, 02 Jul 2024 17:38:28 +0200] rev 80476
only consider jobs late if they have ancestors (amending 12901c03b416);
wenzelm [Tue, 02 Jul 2024 16:42:13 +0200] rev 80475
enforce rebuild of Isabelle/ML;
wenzelm [Tue, 02 Jul 2024 16:36:49 +0200] rev 80474
misc tuning: more uniform read_stream vs. read_file;
wenzelm [Tue, 02 Jul 2024 16:15:50 +0200] rev 80473
proper limit for read operation (amending ac4d53bc8f6b);