diff -r c0bfa2aa6b68 -r 1dd29afaddda NEWS
--- a/NEWS	Sun Jun 01 15:35:28 2025 +0200
+++ b/NEWS	Sun Jun 01 16:43:09 2025 +0200
@@ -263,7 +263,8 @@
 * System option "record_theories" tells "isabelle build" to record
 intermediate theory commands and results, at the cost of approx. 5 times
 larger ML heap images. This allows to retrieve fine-grained semantic
-information later on, using Thy_Info.get_theory_segments in Isabelle/ML.
+information later on, using Thy_Info.get_theory_segments or
+Thy_Info.get_theory_elements in Isabelle/ML.
 
 * The Z Garbage Collector (ZGC) of Java 21 is now used by default (see
 also https://wiki.openjdk.org/display/zgc). This should work uniformly