src/Doc/System/Misc.thy
changeset 66785 6fbd7fc824a9
parent 63680 6e1e8b5abbfa
child 67399 eab6ce8368fa
     1.1 --- a/src/Doc/System/Misc.thy	Fri Aug 12 17:53:55 2016 +0200
     1.2 +++ b/src/Doc/System/Misc.thy	Tue Oct 03 17:35:16 2017 +0200
     1.3 @@ -220,7 +220,7 @@
     1.4  
     1.5    \<^medskip>
     1.6    The default is to output the full version string of the Isabelle
     1.7 -  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012: May 2012\<close>.
     1.8 +  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017: October 2017\<close>.
     1.9  
    1.10    The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
    1.11    id of the @{setting ISABELLE_HOME} directory.