--- a/src/Doc/JEdit/JEdit.thy Sat Sep 10 15:41:44 2022 +0200
+++ b/src/Doc/JEdit/JEdit.thy Sat Sep 10 15:48:36 2022 +0200
@@ -306,7 +306,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>Isabelle2021-1\<close>). Thus @{tool jedit_client} can connect to the
+ name (e.g.\ \<^verbatim>\<open>Isabelle2022\<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