
diff -r 570f65953173 -r 4465d9dff448 src/Doc/System/Environment.thy
--- 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}.




