updated for release;
authorwenzelm
Wed Jun 06 14:16:52 2018 +0200 (11 months ago)
changeset 68394bc2fd0e2047e
parent 68393 b9989df11c78
child 68395 76a0f3bafb16
updated for release;
src/Doc/JEdit/JEdit.thy
src/Doc/System/Environment.thy
src/Doc/System/Misc.thy
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Jun 06 14:14:37 2018 +0200
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Jun 06 14:16:52 2018 +0200
     1.3 @@ -305,7 +305,7 @@
     1.4  
     1.5    The \<^verbatim>\<open>-n\<close> option reports the server name, and the \<^verbatim>\<open>-s\<close> option provides a
     1.6    different server name. The default server name is the official distribution
     1.7 -  name (e.g.\ \<^verbatim>\<open>Isabelle2017\<close>). Thus @{tool jedit_client} can connect to the
     1.8 +  name (e.g.\ \<^verbatim>\<open>Isabelle2018\<close>). Thus @{tool jedit_client} can connect to the
     1.9    Isabelle desktop application without further options.
    1.10  
    1.11    The \<^verbatim>\<open>-p\<close> option allows to override the implicit default of the system
     2.1 --- a/src/Doc/System/Environment.thy	Wed Jun 06 14:14:37 2018 +0200
     2.2 +++ b/src/Doc/System/Environment.thy	Wed Jun 06 14:16:52 2018 +0200
     2.3 @@ -58,7 +58,7 @@
     2.4      \<^enum> The file @{path "$ISABELLE_HOME_USER/etc/settings"} (if it
     2.5      exists) is run in the same way as the site default settings. Note that the
     2.6      variable @{setting ISABELLE_HOME_USER} has already been set before ---
     2.7 -    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2017\<close>.
     2.8 +    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2018\<close>.
     2.9  
    2.10      Thus individual users may override the site-wide defaults. Typically, a
    2.11      user settings file contains only a few lines, with some assignments that
    2.12 @@ -149,7 +149,7 @@
    2.13    of the @{executable isabelle} executable.
    2.14  
    2.15    \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
    2.16 -  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017\<close>''.
    2.17 +  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2018\<close>''.
    2.18  
    2.19    \<^descr>[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME}, @{setting_def
    2.20    ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def ML_IDENTIFIER}\<open>\<^sup>*\<close>]
     3.1 --- a/src/Doc/System/Misc.thy	Wed Jun 06 14:14:37 2018 +0200
     3.2 +++ b/src/Doc/System/Misc.thy	Wed Jun 06 14:16:52 2018 +0200
     3.3 @@ -220,7 +220,7 @@
     3.4  
     3.5    \<^medskip>
     3.6    The default is to output the full version string of the Isabelle
     3.7 -  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017: October 2017\<close>.
     3.8 +  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2018: August 2018\<close>.
     3.9  
    3.10    The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
    3.11    id of the @{setting ISABELLE_HOME} directory.