tuned text;
authorwenzelm
Mon, 09 May 2022 21:01:12 +0200
changeset 75946 7095df141819
parent 75945 5acc4de7db89
child 75947 e2aa3c1f90a1
tuned text;
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