--- a/src/Doc/System/Misc.thy Sat Sep 23 13:46:48 2017 +0200
+++ b/src/Doc/System/Misc.thy Tue Oct 03 17:35:16 2017 +0200
@@ -220,7 +220,7 @@
\<^medskip>
The default is to output the full version string of the Isabelle
- distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012: May 2012\<close>.
+ distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017: October 2017\<close>.
The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
id of the @{setting ISABELLE_HOME} directory.