src/Doc/JEdit/JEdit.thy

   The \<^verbatim>\<open>-c\<close> option merely checks the presence of the server, producing a
   process return-code.
 
   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
   option @{system_option_ref ML_process_policy} for ML processes started by
   the Prover IDE, e.g. to control CPU affinity on multiprocessor systems.