src/Pure/General/file_store.scala
Fri, 14 Feb 2025 15:24:42 +0100 wenzelm clarified persistent data: digest may help to synchronize files, without requiring read / uncompress;
Fri, 14 Feb 2025 15:23:00 +0100 wenzelm proper treatment of empty content, which is never compressed;
Wed, 12 Feb 2025 20:21:33 +0100 wenzelm more operations;
Wed, 12 Feb 2025 20:18:21 +0100 wenzelm tuned signature;
Wed, 12 Feb 2025 20:05:42 +0100 wenzelm tuned signature: more explicit operations;
Wed, 12 Feb 2025 15:22:47 +0100 wenzelm support persistent store for file-system content (notably SQLite);
less more (0) tip