# HG changeset patch
# User wenzelm
# Date 1705754536 -3600
# Node ID ae20766492c4e3b0a5a9cf7832cccb294a9acbb5
# Parent  d117821a5e82048e4a3a5acb397f0d5b9ac1ee8f
proper output, following 2cd23d587db9;

diff -r d117821a5e82 -r ae20766492c4 src/Doc/System/Misc.thy
--- a/src/Doc/System/Misc.thy	Sat Jan 20 13:31:07 2024 +0100
+++ b/src/Doc/System/Misc.thy	Sat Jan 20 13:42:16 2024 +0100
@@ -453,8 +453,8 @@
   Display Isabelle version information.\<close>}
 
   \<^medskip>
-  The default is to output the full version string of the Isabelle
-  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2023: September 2023\<close>.
+  The default is to output the Isabelle distribution name, e.g.\
+  ``\<^verbatim>\<open>Isabelle2023\<close>''.
 
   \<^medskip>
   Option \<^verbatim>\<open>-i\<close> produces a short identification derived from the Mercurial id