# HG changeset patch
# User wenzelm
# Date 1584804200 -3600
# Node ID d59d557f4ee0c0beb3f7dcca56d2269ea4f0cc50
# Parent  b0be6c0589e8ef6c0f67a03562a5cbfc15f0124c
updated for release;

diff -r b0be6c0589e8 -r d59d557f4ee0 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sat Mar 21 15:51:05 2020 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Sat Mar 21 16:23:20 2020 +0100
@@ -305,7 +305,7 @@
 
   The \<^verbatim>\<open>-n\<close> option reports the server name, and the \<^verbatim>\<open>-s\<close> option provides a
   different server name. The default server name is the official distribution
-  name (e.g.\ \<^verbatim>\<open>Isabelle2019\<close>). Thus @{tool jedit_client} can connect to the
+  name (e.g.\ \<^verbatim>\<open>Isabelle2020\<close>). Thus @{tool jedit_client} can connect to the
   Isabelle desktop application without further options.
 
   The \<^verbatim>\<open>-p\<close> option allows to override the implicit default of the system
diff -r b0be6c0589e8 -r d59d557f4ee0 src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy	Sat Mar 21 15:51:05 2020 +0100
+++ b/src/Doc/System/Environment.thy	Sat Mar 21 16:23:20 2020 +0100
@@ -58,7 +58,7 @@
     \<^enum> The file \<^path>\<open>$ISABELLE_HOME_USER/etc/settings\<close> (if it
     exists) is run in the same way as the site default settings. Note that the
     variable @{setting ISABELLE_HOME_USER} has already been set before ---
-    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2018\<close>.
+    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2020\<close>.
 
     Thus individual users may override the site-wide defaults. Typically, a
     user settings file contains only a few lines, with some assignments that
@@ -148,7 +148,7 @@
   of the @{executable isabelle} executable.
 
   \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
-  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2018\<close>''.
+  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2020\<close>''.
 
   \<^descr>[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME}, @{setting_def
   ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def ML_IDENTIFIER}\<open>\<^sup>*\<close>]
diff -r b0be6c0589e8 -r d59d557f4ee0 src/Doc/System/Misc.thy
--- 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.