src/Doc/System/Misc.thy
changeset 66785 6fbd7fc824a9
parent 63680 6e1e8b5abbfa
child 67399 eab6ce8368fa
equal deleted inserted replaced
66687:cd8ad4eddb8a 66785:6fbd7fc824a9
   218 
   218 
   219   Display Isabelle version information.\<close>}
   219   Display Isabelle version information.\<close>}
   220 
   220 
   221   \<^medskip>
   221   \<^medskip>
   222   The default is to output the full version string of the Isabelle
   222   The default is to output the full version string of the Isabelle
   223   distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012: May 2012\<close>.
   223   distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017: October 2017\<close>.
   224 
   224 
   225   The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
   225   The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
   226   id of the @{setting ISABELLE_HOME} directory.
   226   id of the @{setting ISABELLE_HOME} directory.
   227 \<close>
   227 \<close>
   228 
   228