# HG changeset patch
# User wenzelm
# Date 1689192319 -7200
# Node ID 5f78a7e98bd0cf2871c308f9d19ff278ea39a4bf
# Parent  137f015c27e2c6bc794e5f6f8077aa8fe437b7ee
more NEWS;

diff -r 137f015c27e2 -r 5f78a7e98bd0 NEWS
--- a/NEWS	Wed Jul 12 21:50:13 2023 +0200
+++ b/NEWS	Wed Jul 12 22:05:19 2023 +0200
@@ -9,6 +9,16 @@
 
 *** General ***
 
+* Session build dependencies (sources and heaps) are now recorded in
+more details, with one SHA1 digest per file and a symbolic version of
+the file name -- similar to the Unix command-line tool "sha1sum". For
+portability of results, well-known directory names are folded into path
+variables according to cumulative "isabelle_directory" declarations in
+etc/settings (user projects may add to that). See also "isabelle getenv
+ISABELLE_DIRECTORIES" for the effective result, which is used by the
+Isabelle/Scala function isabelle.File.symbolic_path() for its
+first-match policy in reverse order.
+
 * ML heap usage and stored heap size has been significantly reduced,
 especially for applications with a lot 'locale' or 'class' context
 switches, e.g. "definition (in loc)". The shrink factor is usually in