# HG changeset patch
# User wenzelm
# Date 1678228379 -3600
# Node ID 7c0c5bce3e6084548c539bfcad33ed264e7aedc6
# Parent  643146163fd17902ab0cbb8c37143774f75779f4
proper tool name (amending cbb49fe8e5a2);

diff -r 643146163fd1 -r 7c0c5bce3e60 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Tue Mar 07 23:26:02 2023 +0100
+++ b/src/Doc/System/Sessions.thy	Tue Mar 07 23:32:59 2023 +0100
@@ -566,7 +566,7 @@
 section \<open>Print messages from session build database \label{sec:tool-log}\<close>
 
 text \<open>
-  The @{tool_def "log"} tool prints prover messages from the build
+  The @{tool_def "build_log"} tool prints prover messages from the build
   database of the given session. Its command-line usage is:
 
   @{verbatim [display]