--- a/src/Doc/System/Misc.thy Sat Mar 21 15:51:05 2020 +0100
+++ b/src/Doc/System/Misc.thy Sat Mar 21 16:23:20 2020 +0100
@@ -267,7 +267,7 @@
\<^medskip>
The default is to output the full version string of the Isabelle
- distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2018: August 2018\<close>.
+ distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2020: April 2020\<close>.
The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
id of the @{setting ISABELLE_HOME} directory.