# 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.\} \<^medskip> - The default is to output the full version string of the Isabelle - distribution, e.g.\ ``\<^verbatim>\Isabelle2023: September 2023\. + The default is to output the Isabelle distribution name, e.g.\ + ``\<^verbatim>\Isabelle2023\''. \<^medskip> Option \<^verbatim>\-i\ produces a short identification derived from the Mercurial id