src/Pure/library.scala
Wed, 15 Jan 2025 15:49:16 +0100 wenzelm clarified signature: more explicit operations;
Tue, 02 Jul 2024 21:54:12 +0200 wenzelm notable performance tuning for Library.separated_chunks variants;
Fri, 28 Jun 2024 11:37:13 +0200 wenzelm tuned;
Fri, 28 Jun 2024 11:09:58 +0200 wenzelm tuned signature, following Bytes.Builder.use;
Thu, 06 Jun 2024 22:26:40 +0200 wenzelm clarified names;
Thu, 06 Jun 2024 22:13:10 +0200 wenzelm clarified signature;
Thu, 06 Jun 2024 21:48:36 +0200 wenzelm clarified signature;
Tue, 12 Mar 2024 15:11:29 +0100 wenzelm tuned signature: more operations;
Tue, 12 Mar 2024 13:17:25 +0100 wenzelm clarified signature: more explicit types;
Sun, 10 Mar 2024 10:37:28 +0100 wenzelm tuned signature;
Sat, 09 Mar 2024 20:52:06 +0100 wenzelm record updates within database, based on serial;
Sat, 09 Mar 2024 19:57:08 +0100 wenzelm clarified signature: improved data integrity;
Sat, 09 Mar 2024 16:59:38 +0100 wenzelm clarified modules;
Sat, 09 Mar 2024 16:52:08 +0100 wenzelm obsolete;
less more (0) -100 -14 tip