# HG changeset patch
# User wenzelm
# Date 1652122872 -7200
# Node ID 7095df1418198778d17955a25a8d3c2fbe0f0af2
# Parent  5acc4de7db895263e9e1a81e5f3e41f04de591ec
tuned text;

diff -r 5acc4de7db89 -r 7095df141819 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Mon May 09 13:41:10 2022 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Mon May 09 21:01:12 2022 +0200
@@ -41,9 +41,9 @@
     rich formal markup for GUI rendering.
 
     \<^descr>[jEdit] is a sophisticated text editor\<^footnote>\<open>\<^url>\<open>http://www.jedit.org\<close>\<close>
-    implemented in Java\<^footnote>\<open>\<^url>\<open>https://adoptopenjdk.net\<close>\<close>. It is easily
+    implemented in Java\<^footnote>\<open>\<^url>\<open>https://openjdk.java.net\<close>\<close>. The editor is easily
     extensible by plugins written in any language that works on the JVM. In
-    the context of Isabelle this is always
+    the context of Isabelle this is usually
     Scala\<^footnote>\<open>\<^url>\<open>https://www.scala-lang.org\<close>\<close>.
 
     \<^descr>[Isabelle/jEdit] is the main application of the PIDE framework and the