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;
less more (0) -100 -30 -10 -3 tip