Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/JEdit/JEdit.thy
changeset 80157 6b9d5cae4579
parent 79724 54d0f6edfe3a 
--- a/src/Doc/JEdit/JEdit.thy	Fri Apr 26 19:15:37 2024 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Fri Apr 26 20:14:27 2024 +0200
@@ -304,7 +304,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>Isabelle2023\<close>). Thus @{tool jedit_client} can connect to the
+  name (e.g.\ \<^verbatim>\<open>Isabelle2024\<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
isabelle