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/Pure/Admin/component_jsoup.scala
changeset 79958 6c4e20a02ac7
parent 77619 6d0985955872
child 81602 3b93da12e9bd 
--- a/src/Pure/Admin/component_jsoup.scala	Thu Mar 21 16:15:25 2024 +0100
+++ b/src/Pure/Admin/component_jsoup.scala	Thu Mar 21 16:16:03 2024 +0100
@@ -11,7 +11,7 @@
   /* build jsoup */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.15.4/jsoup-1.15.4.jar"
+    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.17.2/jsoup-1.17.2.jar"
 
   def build_jsoup(
     download_url: String = default_download_url,
isabelle