# HG changeset patch
# User wenzelm
# Date 1714386126 -7200
# Node ID fd5ed5e63a2970e7b540c2ac36243407cfe28feb
# Parent  ead20482da9c9ec66aa0fcc19a628499f6cf73bd
tuned spelling;

diff -r ead20482da9c -r fd5ed5e63a29 src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy	Sun Apr 28 14:28:36 2024 +0200
+++ b/src/Doc/System/Environment.thy	Mon Apr 29 12:22:06 2024 +0200
@@ -174,7 +174,7 @@
   is \<^path>\<open>$ISABELLE_HOME/heaps\<close>. See also \secref{sec:tool-build}.
 
   \<^descr>[@{setting_def ISABELLE_LOGIC}] specifies the default logic to load if none
-  is given explicitely by the user. The default value is \<^verbatim>\<open>HOL\<close>.
+  is given explicitly by the user. The default value is \<^verbatim>\<open>HOL\<close>.
 
   \<^descr>[@{setting_def ISABELLE_LINE_EDITOR}] specifies the line editor for the
   @{tool_ref console} interface.