--- a/src/Doc/System/Environment.thy Tue Mar 07 10:16:24 2023 +0100
+++ b/src/Doc/System/Environment.thy Tue Mar 07 10:57:50 2023 +0100
@@ -168,7 +168,7 @@
used instead; its default is \<^path>\<open>$ISABELLE_HOME/browser_info\<close>.
\<^descr>[@{setting_def ISABELLE_HEAPS}] is the directory where session heap images,
- log files, and build databases are stored; its default is
+ log files, and session build databases are stored; its default is
\<^path>\<open>$ISABELLE_HOME_USER/heaps\<close>. If @{system_option system_heaps} is
\<^verbatim>\<open>true\<close>, @{setting_def ISABELLE_HEAPS_SYSTEM} is used instead; its default
is \<^path>\<open>$ISABELLE_HOME/heaps\<close>. See also \secref{sec:tool-build}.